IScheme<'L, 'ExeCtx> (B2R2)

IScheme<'L, 'ExeCtx> Type

The main interface for a sensitive data-flow analysis.

Instance member	Description
`this.DefaultExecutionContext` Full Usage: `this.DefaultExecutionContext` Returns: `'ExeCtx` Modifiers: abstract	A default execution context that a root node in a CFG can have. Returns: `'ExeCtx`
`this.OnRemoveVertex` Full Usage: `this.OnRemoveVertex` Parameters: arg0 : `IVertex<LowUIRBasicBlock>` Modifiers: abstract	Called when a vertex is removed. arg0 : `IVertex<LowUIRBasicBlock>`
`this.OnVertexNewlyAnalyzed` Full Usage: `this.OnVertexNewlyAnalyzed` Parameters: arg0 : `IVertex<LowUIRBasicBlock>` Modifiers: abstract	Called when a vertex is newly analyzed. arg0 : `IVertex<LowUIRBasicBlock>`
`this.TryComputeExecutionContext` Full Usage: `this.TryComputeExecutionContext` Parameters: arg0 : `IVertex<LowUIRBasicBlock>` exeCtx : `'ExeCtx` successor : `IVertex<LowUIRBasicBlock>` arg3 : `CFGEdgeKind` Returns: `'ExeCtx option` Modifiers: abstract	Compute an execution context that the successor can have from the current context. This returns None if the edge should be pruned (e.g. path-sensitive analysis). arg0 : `IVertex<LowUIRBasicBlock>` exeCtx : `'ExeCtx` successor : `IVertex<LowUIRBasicBlock>` arg3 : `CFGEdgeKind` Returns: `'ExeCtx option`