ISSAVarBasedDataFlowAnalysis<'Lattice> (B2R2) | B2R2

ISSAVarBasedDataFlowAnalysis<'Lattice> Type

Namespace: B2R2.MiddleEnd.DataFlow.SSA
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: ISSAVarBasedDataFlowAnalysis<'Lattice>

The core interface for SSA-based data flow analysis.

Instance members

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 : `SSAVarBasedDataFlowState<'Lattice>` arg1 : `Expr` Returns: `'Lattice` Modifiers: abstract	Evaluate the given expression based on the current abstract state. arg0 : `SSAVarBasedDataFlowState<'Lattice>` arg1 : `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 : `SSAVarBasedDataFlowState<'Lattice>` Returns: `SSAVarBasedDataFlowState<'Lattice>` Modifiers: abstract	A callback for initializing the state. arg0 : `SSAVarBasedDataFlowState<'Lattice>` Returns: `SSAVarBasedDataFlowState<'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`
`this.Transfer` Full Usage: `this.Transfer` Parameters: arg0 : `IDiGraph<SSABasicBlock, CFGEdgeKind>` arg1 : `IVertex<SSABasicBlock>` arg2 : `ProgramPoint` arg3 : `Stmt` arg4 : `SSAVarBasedDataFlowState<'Lattice>` Modifiers: abstract	Transfer function. Since SSAVarBasedDataFlowState is a mutable object, we don't need to return the updated state. arg0 : `IDiGraph<SSABasicBlock, CFGEdgeKind>` arg1 : `IVertex<SSABasicBlock>` arg2 : `ProgramPoint` arg3 : `Stmt` arg4 : `SSAVarBasedDataFlowState<'Lattice>`
`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`