IDataFlowAnalysis<'AbsLoc, 'AbsVal, 'State, 'V> (B2R2) | B2R2

IDataFlowAnalysis<'AbsLoc, 'AbsVal, 'State, 'V> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowAnalysis<'AbsLoc, 'AbsVal, 'State, 'V>

Data-flow analysis that runs under the abstract interpretation framework. Abstract values are represented by 'AbsVal, which is stored in an abstract location 'AbsLoc.

Instance members

Instance member	Description
`this.Compute` Full Usage: `this.Compute` Parameters: cfg : `IDiGraph<'V, CFGEdgeKind>` arg1 : `'State` Returns: `'State` Modifiers: abstract	Perform the dataflow analysis on the given CFG until a fixed point is reached. cfg : `IDiGraph<'V, CFGEdgeKind>` arg1 : `'State` Returns: `'State`
`this.InitializeState` Full Usage: `this.InitializeState` Parameters: arg0 : `IVertex<'V> seq` Returns: `'State` Modifiers: abstract	Return an initial state for the data-flow analysis. arg0 : `IVertex<'V> seq` Returns: `'State`