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>

Represents a data-flow analysis that runs under the abstract interpretation framework, where abstract values of type 'AbsVal are stored at abstract locations of type 'AbsLoc.

Instance members

Instance member	Description
`this.Compute` Full Usage: `this.Compute` Parameters: cfg : `IDiGraph<'V, CFGEdgeKind>` Returns: `'Provider` Modifiers: abstract	Performs the dataflow analysis on the given CFG until a fixed point is reached. cfg : `IDiGraph<'V, CFGEdgeKind>` Returns: `'Provider`