TaskManager<'FnCtx, 'GlCtx> Type
Task manager for control flow analysis.
Constructors
| Constructor |
Description
|
Full Usage:
TaskManager(builders, strategy, numThreads)
Parameters:
CFGBuilderTable<'FnCtx, 'GlCtx>
strategy : ICFGBuildingStrategy<'FnCtx, 'GlCtx>
numThreads : int
Returns: TaskManager<'FnCtx, 'GlCtx>
|
|
Instance members
| Instance member |
Description
|
|
|
B2R2