SSASparseDataFlow (B2R2) | B2R2

SSASparseDataFlow Module

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll

Provides SSA-based sparse data flow analysis framework, which is based on the idea of sparse conditional constant propagation algorithm by Wegman et al.

Types

Type	Description
IScheme<'Lattice>	The core interface for SSA-based data flow analysis.
SSAVarPoint	SSA variable point.
State<'Lattice>	SSA-variable-based data flow state.

Functions and values

Function or value	Description
`compute cfg state` Full Usage: `compute cfg state` Parameters: cfg : `IDiGraph<SSABasicBlock, CFGEdgeKind>` state : `State<'a>` Returns: `State<'a>`	cfg : `IDiGraph<SSABasicBlock, CFGEdgeKind>` state : `State<'a>` Returns: `State<'a>`
`processFlow state ssaCFG` Full Usage: `processFlow state ssaCFG` Parameters: state : `State<'a>` ssaCFG : `IDiGraph<SSABasicBlock, CFGEdgeKind>`	state : `State<'a>` ssaCFG : `IDiGraph<SSABasicBlock, CFGEdgeKind>`
`processSSA state ssaCFG` Full Usage: `processSSA state ssaCFG` Parameters: state : `State<'a>` ssaCFG : `IDiGraph<SSABasicBlock, CFGEdgeKind>`	state : `State<'a>` ssaCFG : `IDiGraph<SSABasicBlock, CFGEdgeKind>`