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.
Constructor | Description |
Full Usage:
UntouchedValuePropagation(hdl, ssaCFG)
Parameters:
BinHandle
ssaCFG : DiGraph<SSABasicBlock, CFGEdgeKind>
Returns: UntouchedValuePropagation
|
|