IConstantPropagationCore<'L> (B2R2)

IConstantPropagationCore<'L> Type

The core interface of a Constant Propagation (CP) algorithm.

Instance member	Description
`this.Bottom` Full Usage: `this.Bottom` Returns: `'L` Modifiers: abstract	Bottom of the lattice. Returns: `'L`
`this.GoingUp(fromV) (toV)` Full Usage: `this.GoingUp(fromV) (toV)` Parameters: fromV : `'L` toV : `'L` Returns: `bool` Modifiers: abstract	Check if toV is up in the lattice compared to fromV. fromV : `'L` toV : `'L` Returns: `bool`
`this.Meet(arg1) (arg2)` Full Usage: `this.Meet(arg1) (arg2)` Parameters: arg0 : `'L` arg1 : `'L` Returns: `'L` Modifiers: abstract	The meet operator. arg0 : `'L` arg1 : `'L` Returns: `'L`
`this.MemoryRead(arg1) (arg2)` Full Usage: `this.MemoryRead(arg1) (arg2)` Parameters: arg0 : `Addr` arg1 : `RegType` Returns: `BitVector option` Modifiers: abstract	Read memory. Some analyses require reading data section values, and this function is used in such cases. arg0 : `Addr` arg1 : `RegType` Returns: `BitVector option`
`this.Transfer(arg1) (arg2) (arg3) (arg4) (arg5)` Full Usage: `this.Transfer(arg1) (arg2) (arg3) (arg4) (arg5)` Parameters: arg0 : `CPState<'L>` arg1 : `DiGraph<SSABasicBlock, CFGEdgeKind>` arg2 : `Vertex<SSABasicBlock>` arg3 : `ProgramPoint` arg4 : `Stmt` Modifiers: abstract	The transfer function. arg0 : `CPState<'L>` arg1 : `DiGraph<SSABasicBlock, CFGEdgeKind>` arg2 : `Vertex<SSABasicBlock>` arg3 : `ProgramPoint` arg4 : `Stmt`