Header menu logo B2R2

TaskManager<'FnCtx, 'GlCtx> Type

Task manager for control flow analysis.

Constructors

Constructor Description

TaskManager(builders, strategy, numThreads)

Full Usage: TaskManager(builders, strategy, numThreads)

Parameters:
Returns: TaskManager<'FnCtx, 'GlCtx>
builders : CFGBuilderTable<'FnCtx, 'GlCtx>
strategy : ICFGBuildingStrategy<'FnCtx, 'GlCtx>
numThreads : int
Returns: TaskManager<'FnCtx, 'GlCtx>

Instance members

Instance member Description

this.StartAndWait

Full Usage: this.StartAndWait

Parameters:
    candidates : Addr[]

candidates : Addr[]

Type something to start searching.