IDataFlowComputable<'AbsLoc, 'AbsVal, 'Provider, 'V> (B2R2)

IDataFlowComputable<'AbsLoc, 'AbsVal, 'Provider, 'V> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowComputable<'AbsLoc, 'AbsVal, 'Provider, '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>` Returns: `'Provider` Modifiers: abstract	Perform the dataflow analysis on the given CFG until a fixed point is reached. cfg : `IDiGraph<'V, CFGEdgeKind>` Returns: `'Provider`