TaskManagerCommand<'FnCtx, 'GlCtx> (B2R2) | B2R2

TaskManagerCommand<'FnCtx, 'GlCtx> Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj

Request messages for the task manager.

Union cases

Union case	Description
`AccessGlobalContext(accessor, AgentReplyChannel<unit>)` Full Usage: `AccessGlobalContext(accessor, AgentReplyChannel<unit>)` Parameters: accessor : `'GlCtx -> unit` Item2 : `AgentReplyChannel<unit>`	Access the global context with the accessor, which has a side effect. accessor : `'GlCtx -> unit` Item2 : `AgentReplyChannel<unit>`
`AddDependency(caller, callee, ArchOperationMode, AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>)` Full Usage: `AddDependency(caller, callee, ArchOperationMode, AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>)` Parameters: caller : `Addr` callee : `Addr` Item3 : `ArchOperationMode` Item4 : `AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>`	Add a dependency between two functions. caller : `Addr` callee : `Addr` Item3 : `ArchOperationMode` Item4 : `AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>`
`CancelJumpTableRecovery(fn, ins, tbl)` Full Usage: `CancelJumpTableRecovery(fn, ins, tbl)` Parameters: fn : `Addr` ins : `Addr` tbl : `Addr`	Cancel the jump table recovery because we found that the indirect branch is not using a jump table. fn : `Addr` ins : `Addr` tbl : `Addr`
`GetBuildingContext(Addr, AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>)` Full Usage: `GetBuildingContext(Addr, AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>)` Parameters: Item1 : `Addr` Item2 : `AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>`	Retrieve the building context of a function. Item1 : `Addr` Item2 : `AgentReplyChannel<BuildingCtxMsg<'FnCtx, 'GlCtx>>`
`GetNextFunctionAddress(Addr, AgentReplyChannel<Addr option>)` Full Usage: `GetNextFunctionAddress(Addr, AgentReplyChannel<Addr option>)` Parameters: Item1 : `Addr` Item2 : `AgentReplyChannel<Addr option>`	Get the next function of the given function address. Item1 : `Addr` Item2 : `AgentReplyChannel<Addr option>`
`GetNonReturningStatus(Addr, AgentReplyChannel<NonReturningStatus>)` Full Usage: `GetNonReturningStatus(Addr, AgentReplyChannel<NonReturningStatus>)` Parameters: Item1 : `Addr` Item2 : `AgentReplyChannel<NonReturningStatus>`	Retrieve the non-returning status of a function. Item1 : `Addr` Item2 : `AgentReplyChannel<NonReturningStatus>`
`NotifyBogusJumpTableEntry(fn, tbl, idx, AgentReplyChannel<bool>)` Full Usage: `NotifyBogusJumpTableEntry(fn, tbl, idx, AgentReplyChannel<bool>)` Parameters: fn : `Addr` tbl : `Addr` idx : `int` Item4 : `AgentReplyChannel<bool>`	Notify the manager that we found a bogus jump table entry. The manager returns whether the recovery should continue or not. fn : `Addr` tbl : `Addr` idx : `int` Item4 : `AgentReplyChannel<bool>`
`NotifyJumpTableRecovery(fn, tbl, AgentReplyChannel<JumpTableRecoveryDecision>)` Full Usage: `NotifyJumpTableRecovery(fn, tbl, AgentReplyChannel<JumpTableRecoveryDecision>)` Parameters: fn : `Addr` tbl : `JmpTableInfo` Item3 : `AgentReplyChannel<JumpTableRecoveryDecision>`	Notify the manager that a new jump table entry is about to be recovered. The manager returns the decision about the next action. fn : `Addr` tbl : `JmpTableInfo` Item3 : `AgentReplyChannel<JumpTableRecoveryDecision>`
`ReportCFGResult(Addr, CFGResult)` Full Usage: `ReportCFGResult(Addr, CFGResult)` Parameters: Item1 : `Addr` Item2 : `CFGResult`	Report the result of a task. Item1 : `Addr` Item2 : `CFGResult`
`ReportJumpTableSuccess(fn, tbl, idx, next, AgentReplyChannel<bool>)` Full Usage: `ReportJumpTableSuccess(fn, tbl, idx, next, AgentReplyChannel<bool>)` Parameters: fn : `Addr` tbl : `Addr` idx : `int` next : `Addr` Item5 : `AgentReplyChannel<bool>`	Report jump entry recovery result (success only) to the manager. The manager will then decide whether to continue the analysis or not. fn : `Addr` tbl : `Addr` idx : `int` next : `Addr` Item5 : `AgentReplyChannel<bool>`
`StartBuilding(Addr, ArchOperationMode)` Full Usage: `StartBuilding(Addr, ArchOperationMode)` Parameters: Item1 : `Addr` Item2 : `ArchOperationMode`	Start building a CFG for a function at the given address using the given operation mode. Item1 : `Addr` Item2 : `ArchOperationMode`
`UpdateGlobalContext updater` Full Usage: `UpdateGlobalContext updater` Parameters: updater : `'GlCtx -> 'GlCtx`	Update global context. updater : `'GlCtx -> 'GlCtx`

Instance members

Instance member	Description
`this.IsAccessGlobalContext` Full Usage: `this.IsAccessGlobalContext` Returns: `bool`	Returns: `bool`
`this.IsAddDependency` Full Usage: `this.IsAddDependency` Returns: `bool`	Returns: `bool`
`this.IsCancelJumpTableRecovery` Full Usage: `this.IsCancelJumpTableRecovery` Returns: `bool`	Returns: `bool`
`this.IsGetBuildingContext` Full Usage: `this.IsGetBuildingContext` Returns: `bool`	Returns: `bool`
`this.IsGetNextFunctionAddress` Full Usage: `this.IsGetNextFunctionAddress` Returns: `bool`	Returns: `bool`
`this.IsGetNonReturningStatus` Full Usage: `this.IsGetNonReturningStatus` Returns: `bool`	Returns: `bool`
`this.IsNotifyBogusJumpTableEntry` Full Usage: `this.IsNotifyBogusJumpTableEntry` Returns: `bool`	Returns: `bool`
`this.IsNotifyJumpTableRecovery` Full Usage: `this.IsNotifyJumpTableRecovery` Returns: `bool`	Returns: `bool`
`this.IsReportCFGResult` Full Usage: `this.IsReportCFGResult` Returns: `bool`	Returns: `bool`
`this.IsReportJumpTableSuccess` Full Usage: `this.IsReportJumpTableSuccess` Returns: `bool`	Returns: `bool`
`this.IsStartBuilding` Full Usage: `this.IsStartBuilding` Returns: `bool`	Returns: `bool`
`this.IsUpdateGlobalContext` Full Usage: `this.IsUpdateGlobalContext` Returns: `bool`	Returns: `bool`