ISSAVarBasedDataFlowAnalysis<'Lattice>
The core interface for SSA-based data flow analysis.
SSAConstantPropagation
Sparse conditional constant propagation analysis on SSACFG.
SSAEdges
SSA edges in a CFG.
SSAStackPointerPropagation
Stack pointer propagation analysis on SSACFG.
SSAUntouchedValueAnalysis
SSAVarBasedDataFlowAnalysis<'Lattice>
SSA variable-based data flow analysis framework, which is based on the idea of sparse conditional constant propagation algorithm by Wegman et al.
SSAVarBasedDataFlowState<'Lattice>
SSA-variable-based data flow state.
SSAVarPoint
SSA variable point.
Type something to start searching.
B2R2