IScheme<'Lattice> (B2R2)

IScheme<'Lattice> Type

Represents the core interface for SSA-based data flow analysis.

Instance member	Description
`this.EvalExpr` Full Usage: `this.EvalExpr` Parameters: arg0 : `Expr` Returns: `'Lattice` Modifiers: abstract	Evaluate the given expression based on the current abstract state. arg0 : `Expr` Returns: `'Lattice`
`this.Transfer` Full Usage: `this.Transfer` Parameters: arg0 : `Stmt` arg1 : `IDiGraph<SSABasicBlock, CFGEdgeKind>` arg2 : `IVertex<SSABasicBlock>` Modifiers: abstract	The transfer function, which computes the next abstract value from the current abstract value by executing the given 'WorkUnit. arg0 : `Stmt` arg1 : `IDiGraph<SSABasicBlock, CFGEdgeKind>` arg2 : `IVertex<SSABasicBlock>`
`this.UpdateMemFromBinaryFile` Full Usage: `this.UpdateMemFromBinaryFile` Parameters: arg0 : `RegType` arg1 : `Addr` Returns: `'Lattice` Modifiers: abstract	Update memory value by reading constant values from a binary file when the memory value is not found in the memory value map. arg0 : `RegType` arg1 : `Addr` Returns: `'Lattice`