SSAVarBasedDataFlowAnalysis<'Lattice> (B2R2)

SSAVarBasedDataFlowAnalysis<'Lattice> Type

Namespace: B2R2.MiddleEnd.DataFlow.SSA
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowAnalysis<SSAVarPoint, 'Lattice, SSAVarBasedDataFlowState<'Lattice>, SSABasicBlock>

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

Constructor Description

Constructor	Description
`SSAVarBasedDataFlowAnalysis(hdl, analysis)` Full Usage: `SSAVarBasedDataFlowAnalysis(hdl, analysis)` Parameters: hdl : `BinHandle` analysis : `ISSAVarBasedDataFlowAnalysis<'Lattice>` Returns: `SSAVarBasedDataFlowAnalysis<'Lattice>`	hdl : `BinHandle` analysis : `ISSAVarBasedDataFlowAnalysis<'Lattice>` Returns: `SSAVarBasedDataFlowAnalysis<'Lattice>`


                
                  
                    
                      SSAVarBasedDataFlowAnalysis(hdl, analysis)

Full Usage: SSAVarBasedDataFlowAnalysis(hdl, analysis)

Parameters:

hdl : BinHandle

analysis : ISSAVarBasedDataFlowAnalysis<'Lattice>

Returns: SSAVarBasedDataFlowAnalysis<'Lattice>