SSAUntouchedValueAnalysis (B2R2)

SSAUntouchedValueAnalysis Type

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

Performs sparse data-flow analysis over SSA to identify untouched values in a function.

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