SSAConstantPropagation (B2R2)

SSAConstantPropagation Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowComputable<SSAVarPoint, Lattice, State<Lattice>, SSABasicBlock>

Performs sparse conditional constant propagation over an SSA CFG.

Constructor	Description
`SSAConstantPropagation(hdl)` Full Usage: `SSAConstantPropagation(hdl)` Parameters: hdl : `BinHandle` Returns: `SSAConstantPropagation`	hdl : `BinHandle` Returns: `SSAConstantPropagation`