IVarBasedDataFlowSubState<'Lattice> (B2R2)

IVarBasedDataFlowSubState<'Lattice> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Base Type: obj
All Interfaces: IVarBasedDataFlowSubState<'Lattice> , IDataFlowState<VarPoint, 'Lattice>

Instance members

Instance member	Description
`this.Bottom` Full Usage: `this.Bottom` Returns: `'Lattice` Modifiers: abstract	The bottom of the lattice. Returns: `'Lattice`
`this.DefSiteQueue` Full Usage: `this.DefSiteQueue` Returns: `UniqueQueue<ProgramPoint>` Modifiers: abstract	The definition site queue for calculating the data flow. Returns: `UniqueQueue<ProgramPoint>`
`this.EvalExpr` Full Usage: `this.EvalExpr` Parameters: arg0 : `ProgramPoint` arg1 : `Expr` Returns: `'Lattice` Modifiers: abstract	Evaluate the given expression using the current abstract state. arg0 : `ProgramPoint` arg1 : `Expr` Returns: `'Lattice`
`this.ExecutedFlows` Full Usage: `this.ExecutedFlows` Returns: `HashSet<IVertex<LowUIRBasicBlock> * IVertex<LowUIRBasicBlock>>` Modifiers: abstract	Executed edges during the data flow calculation. Returns: `HashSet<IVertex<LowUIRBasicBlock> * IVertex<LowUIRBasicBlock>>`
`this.ExecutedVertices` Full Usage: `this.ExecutedVertices` Returns: `HashSet<IVertex<LowUIRBasicBlock>>` Modifiers: abstract	Executed vertices during the data flow calculation. Returns: `HashSet<IVertex<LowUIRBasicBlock>>`
`this.FlowQueue` Full Usage: `this.FlowQueue` Returns: `UniqueQueue<IVertex<LowUIRBasicBlock> * IVertex<LowUIRBasicBlock>>` Modifiers: abstract	The edge queue for calculating the data flow. Returns: `UniqueQueue<IVertex<LowUIRBasicBlock> * IVertex<LowUIRBasicBlock>>`
`this.GetAbsValue` Full Usage: `this.GetAbsValue` Parameters: v : `Variable` Returns: `'Lattice` Modifiers: abstract	Get the abstract value of the given SSA variable. v : `Variable` Returns: `'Lattice`
`this.Join` Full Usage: `this.Join` Parameters: arg0 : `'Lattice` arg1 : `'Lattice` Returns: `'Lattice` Modifiers: abstract	Join two abstract values. arg0 : `'Lattice` arg1 : `'Lattice` Returns: `'Lattice`
`this.SetAbsValue` Full Usage: `this.SetAbsValue` Parameters: vp : `VarPoint` arg1 : `'Lattice` Modifiers: abstract	Get the abstract value at the given location. vp : `VarPoint` arg1 : `'Lattice`
`this.Subsume` Full Usage: `this.Subsume` Parameters: arg0 : `'Lattice` arg1 : `'Lattice` Returns: `bool` Modifiers: abstract	Check if the first abstract value subsumes the second. arg0 : `'Lattice` arg1 : `'Lattice` Returns: `bool`