IVarBasedDataFlowAnalysis<'Lattice> (B2R2)

IVarBasedDataFlowAnalysis<'Lattice> Type

The core interface for IR-based data flow analysis.

Instance member	Description
`this.Bottom` Full Usage: `this.Bottom` Returns: `'Lattice` Modifiers: abstract	Initial abstract value representing the bottom of the lattice. Our analysis starts with this value until it reaches a fixed point. Returns: `'Lattice`
`this.EvalExpr` Full Usage: `this.EvalExpr` Parameters: arg0 : `VarBasedDataFlowState<'Lattice>` arg1 : `ProgramPoint` arg2 : `Expr` Returns: `'Lattice` Modifiers: abstract	Evaluate the given expression based on the current abstract state. arg0 : `VarBasedDataFlowState<'Lattice>` arg1 : `ProgramPoint` arg2 : `Expr` Returns: `'Lattice`
`this.Join` Full Usage: `this.Join` Parameters: arg0 : `'Lattice` arg1 : `'Lattice` Returns: `'Lattice` Modifiers: abstract	Join operator. arg0 : `'Lattice` arg1 : `'Lattice` Returns: `'Lattice`
`this.OnInitialize` Full Usage: `this.OnInitialize` Parameters: arg0 : `VarBasedDataFlowState<'Lattice>` Returns: `VarBasedDataFlowState<'Lattice>` Modifiers: abstract	A callback for initializing the state. arg0 : `VarBasedDataFlowState<'Lattice>` Returns: `VarBasedDataFlowState<'Lattice>`
`this.Subsume` Full Usage: `this.Subsume` Parameters: arg0 : `'Lattice` arg1 : `'Lattice` Returns: `bool` Modifiers: abstract	Subsume operator, which checks if the first lattice subsumes the second. This is to know if the analysis should stop or not. arg0 : `'Lattice` arg1 : `'Lattice` Returns: `bool`