LowUIRSparseDataFlow (B2R2)

LowUIRSparseDataFlow Module

Provides types and functions for LowUIR-based sparse data-flow analysis.

Type	Description
IScheme<'Lattice>	Represents how we perform LowUIR-based sparse dataflow analysis.
ISubstate<'Lattice>	Represents a substate for the LowUIR-based sparse dataflow analysis.
State<'Lattice>	Represents a state used in LowUIR-based sparse dataflow analysis.

Function or value	Description
`compute g state` Full Usage: `compute g state` Parameters: g : `IDiGraph<LowUIRBasicBlock, CFGEdgeKind>` state : `State<'a>` Returns: `State<'a>`	Compute the data flow incrementally. g : `IDiGraph<LowUIRBasicBlock, CFGEdgeKind>` state : `State<'a>` Returns: `State<'a>`
`toFrameOffset stackAddr` Full Usage: `toFrameOffset stackAddr` Parameters: stackAddr : `uint64` Returns: `int` Modifiers: inline	Translate the given stack pointer address to a local frame offset. stackAddr : `uint64` Returns: `int`