LowUIRSensitiveConstantPropagation<'ExeCtx> (B2R2)

LowUIRSensitiveConstantPropagation<'ExeCtx> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IDataFlowComputable<SensitiveVarPoint<'ExeCtx>, Lattice, State<Lattice, 'ExeCtx>, LowUIRBasicBlock>

Represents a LowUIR-based sensitive constant propagation analysis. This analysis is aware of stack pointers on basic blocks and distinguishes each basic block by its stack pointer value.

Constructors

Constructor Description

Constructor	Description
`LowUIRSensitiveConstantPropagation(hdl, scheme)` Full Usage: `LowUIRSensitiveConstantPropagation(hdl, scheme)` Parameters: hdl : `BinHandle` scheme : `IScheme<Lattice, 'ExeCtx>` Returns: `LowUIRSensitiveConstantPropagation<'ExeCtx>`	hdl : `BinHandle` scheme : `IScheme<Lattice, 'ExeCtx>` Returns: `LowUIRSensitiveConstantPropagation<'ExeCtx>`


                
                  
                    
                      LowUIRSensitiveConstantPropagation(hdl, scheme)

Full Usage: LowUIRSensitiveConstantPropagation(hdl, scheme)

Parameters:

hdl : BinHandle

scheme : IScheme<Lattice, 'ExeCtx>

Returns: LowUIRSensitiveConstantPropagation<'ExeCtx>

hdl : BinHandle
scheme : IScheme<Lattice, 'ExeCtx>

Returns: LowUIRSensitiveConstantPropagation<'ExeCtx>

Instance members

Instance member	Description
`this.EvalExpr` Full Usage: `this.EvalExpr` Parameters: pp : `State<Lattice, 'a>` e : `SensitiveProgramPoint<'a>` Returns: `Expr -> Lattice`	pp : `State<Lattice, 'a>` e : `SensitiveProgramPoint<'a>` Returns: `Expr -> Lattice`
`this.Reset` Full Usage: `this.Reset`
`this.State` Full Usage: `this.State` Returns: `State<Lattice, 'ExeCtx>`	Returns: `State<Lattice, 'ExeCtx>`