ConstantPropagation (B2R2)

ConstantPropagation Type

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

Represents a constant propagation analysis.

Constructor Description

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`


                
                  
                    
                      ConstantPropagation(hdl, vs)

Full Usage: ConstantPropagation(hdl, vs)

Parameters:

hdl : BinHandle

vs : IVertex<LowUIRBasicBlock> seq

Returns: ConstantPropagation

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`