B2R2


UntouchedValuePropagation Type

This is a variant of the SparseConstantPropagation, which computes which registers or memory cells are not re-defined (i.e., are untouched) within a function. This algorithm assumes that the SSA has been promoted.

Constructors

Constructor Description

UntouchedValuePropagation(hdl, ssaCFG)

Full Usage: UntouchedValuePropagation(hdl, ssaCFG)

Parameters:
Returns: UntouchedValuePropagation
hdl : BinHandle
ssaCFG : DiGraph<SSABasicBlock, CFGEdgeKind>
Returns: UntouchedValuePropagation