ConstantPropagation (B2R2) | B2R2

ConstantPropagation Type

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

Performs sparse constant propagation over the LowUIR representation.

Constructors

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

Instance members

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