UntouchedValueAnalysis (B2R2) | B2R2

UntouchedValueAnalysis Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowComputable<VarPoint, UntouchedValueLattice, UntouchedValueState, LowUIRBasicBlock>

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

Constructors

Constructor	Description
`UntouchedValueAnalysis(hdl, vs)` Full Usage: `UntouchedValueAnalysis(hdl, vs)` Parameters: hdl : `BinHandle` vs : `IVertex<LowUIRBasicBlock> seq` Returns: `UntouchedValueAnalysis`	hdl : `BinHandle` vs : `IVertex<LowUIRBasicBlock> seq` Returns: `UntouchedValueAnalysis`

Instance members

Instance member	Description
`this.MarkVertexAsPending` Full Usage: `this.MarkVertexAsPending` Parameters: v : `IVertex<LowUIRBasicBlock>`	v : `IVertex<LowUIRBasicBlock>`