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

IManagerAccessible<'FnCtx, 'GlCtx> Type

Namespace: B2R2.MiddleEnd.ControlFlowAnalysis
Assembly: B2R2.MiddleEnd.ControlFlowAnalysis.dll
Base Type: obj
All Interfaces: IManagerAccessible<'FnCtx, 'GlCtx>

The interface for accessing the state of the TaskManager.

Instance members

Instance member	Description
`this.AddDependency` Full Usage: `this.AddDependency` Parameters: caller : `Addr` callee : `Addr` arg2 : `ArchOperationMode` Returns: `BuildingCtxMsg<'FnCtx, 'GlCtx>` Modifiers: abstract	Update the dependency between two functions and return the current building context of the callee. caller : `Addr` callee : `Addr` arg2 : `ArchOperationMode` Returns: `BuildingCtxMsg<'FnCtx, 'GlCtx>`
`this.CancelJumpTableRecovery` Full Usage: `this.CancelJumpTableRecovery` Parameters: fnAddr : `Addr` insAddr : `Addr` tblAddr : `Addr` Modifiers: abstract	Let the manager know that the jump table recovery is canceled. fnAddr : `Addr` insAddr : `Addr` tblAddr : `Addr`
`this.GetBuildingContext` Full Usage: `this.GetBuildingContext` Parameters: addr : `Addr` Returns: `BuildingCtxMsg<'FnCtx, 'GlCtx>` Modifiers: abstract	Get the builder of a function located at `addr` if it is available (i.e., not in progress and valid). If the function builder is not available, return None. addr : `Addr` Returns: `BuildingCtxMsg<'FnCtx, 'GlCtx>`
`this.GetGlobalContext` Full Usage: `this.GetGlobalContext` Parameters: accessor : `'GlCtx -> 'Res` Returns: `'Res` Modifiers: abstract	Get the current user-defined global state of the TaskManager. accessor : `'GlCtx -> 'Res` Returns: `'Res`
`this.GetNextFunctionAddress` Full Usage: `this.GetNextFunctionAddress` Parameters: addr : `Addr` Returns: `Addr option` Modifiers: abstract	Get the next function address of the given function address. If there's no next function, return None. addr : `Addr` Returns: `Addr option`
`this.GetNonReturningStatus` Full Usage: `this.GetNonReturningStatus` Parameters: addr : `Addr` Returns: `NonReturningStatus` Modifiers: abstract	Get the non-returning status of a function located at `addr`. addr : `Addr` Returns: `NonReturningStatus`
`this.NotifyBogusJumpTableEntry` Full Usage: `this.NotifyBogusJumpTableEntry` Parameters: fnAddr : `Addr` tblAddr : `Addr` idx : `int` Returns: `bool` Modifiers: abstract	Notify the manager that a bogus jump table entry is found, and get the decision whether to continue the analysis or not. fnAddr : `Addr` tblAddr : `Addr` idx : `int` Returns: `bool`
`this.NotifyJumpTableRecovery` Full Usage: `this.NotifyJumpTableRecovery` Parameters: fnAddr : `Addr` jmptbl : `JmpTableInfo` Returns: `JumpTableRecoveryDecision` Modifiers: abstract	Notify the manager that a new jump table entry is about to be recovered, and get the decision about what to do next. fnAddr : `Addr` jmptbl : `JmpTableInfo` Returns: `JumpTableRecoveryDecision`
`this.ReportJumpTableSuccess` Full Usage: `this.ReportJumpTableSuccess` Parameters: fnAddr : `Addr` tblAddr : `Addr` idx : `int` potentialNextTarget : `Addr` Returns: `bool` Modifiers: abstract	Report the success of jump table entry recovery to the manager, and get the decision whether to continue the analysis or not. fnAddr : `Addr` tblAddr : `Addr` idx : `int` potentialNextTarget : `Addr` Returns: `bool`
`this.UpdateGlobalContext` Full Usage: `this.UpdateGlobalContext` Parameters: updater : `'GlCtx -> 'GlCtx` Modifiers: abstract	Update the user-defined global state of the TaskManager. updater : `'GlCtx -> 'GlCtx`