B2R2
LowUIRSparseDataFlow Module
Implements sparse data-flow analysis over the LowUIR representation.
Types
| Type | Description |
|
Represents how we perform LowUIR-based sparse dataflow analysis. |
|
|
Represents a substate for the LowUIR-based sparse dataflow analysis. |
|
|
Represents a state used in LowUIR-based sparse dataflow analysis. |
Functions and values
| Function or value |
Description
|
Full Usage:
compute g state
Parameters:
IDiGraph<LowUIRBasicBlock, CFGEdgeKind>
state : State<'a>
Returns: State<'a>
Type parameters: 'a (requires equality) |
Compute the data flow incrementally.
|