ISubstate<'Lattice> (B2R2)

ISubstate<'Lattice> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Parent Module: LowUIRSparseDataFlow
Base Type: obj
All Interfaces: ISubstate<'Lattice> , ILattice<'Lattice> , IAbsValProvider<VarPoint, 'Lattice>

Represents a substate for the LowUIR-based sparse dataflow analysis.

Instance member	Description
`this.DefSiteQueue` Full Usage: `this.DefSiteQueue` Returns: `UniqueQueue<ProgramPoint>` Modifiers: abstract	The definition site queue for calculating the data flow. Returns: `UniqueQueue<ProgramPoint>`
`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.SetAbsValue` Full Usage: `this.SetAbsValue` Parameters: vp : `VarPoint` arg1 : `'Lattice` Modifiers: abstract	Get the abstract value at the given location. vp : `VarPoint` arg1 : `'Lattice`