B2R2

DataFlowAnalysis<'L, 'V> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj

Data-flow analysis framework. 'L is a lattice, 'V is a vertex data type of a graph.

Constructors

Constructor Description

DataFlowAnalysis()

Full Usage: DataFlowAnalysis()

Returns: DataFlowAnalysis<'L, 'V>

Returns: DataFlowAnalysis<'L, 'V>

Instance members

Instance member Description

this.Top

Full Usage: this.Top

Returns: 'L
Modifiers: abstract

The top of the lattice. A data-flow analysis solution is computed by iterating down from top to bottom.

Returns: 'L