SubState<'L, 'ExeCtx> (B2R2)

SubState<'L, 'ExeCtx> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Parent Module: LowUIRSensitiveDataFlow
Base Type: obj
All Interfaces: SubState<'L, 'ExeCtx> , IExprEvaluatable<SensitiveProgramPoint<'ExeCtx>, 'L> , ILattice<'L> , IAbsValProvider<SensitiveVarPoint<'ExeCtx>, 'L>

Represents a sub-state for the context-sensitive data-flow analysis.

Instance member	Description
`this.DefSiteQueue` Full Usage: `this.DefSiteQueue` Returns: `UniqueQueue<SensitiveProgramPoint<'ExeCtx>>` Modifiers: abstract	The definition site queue for calculating the data flow. Returns: `UniqueQueue<SensitiveProgramPoint<'ExeCtx>>`
`this.ExecutedFlows` Full Usage: `this.ExecutedFlows` Returns: `HashSet<IVertex<LowUIRBasicBlock> * 'ExeCtx * IVertex<LowUIRBasicBlock>>` Modifiers: abstract	Executed edges during the data flow calculation. Returns: `HashSet<IVertex<LowUIRBasicBlock> * 'ExeCtx * IVertex<LowUIRBasicBlock>>`
`this.ExecutedVertices` Full Usage: `this.ExecutedVertices` Returns: `HashSet<IVertex<LowUIRBasicBlock> * 'ExeCtx>` Modifiers: abstract	Executed vertices during the data flow calculation. Returns: `HashSet<IVertex<LowUIRBasicBlock> * 'ExeCtx>`
`this.FlowQueue` Full Usage: `this.FlowQueue` Returns: `UniqueQueue<IVertex<LowUIRBasicBlock> * 'ExeCtx * IVertex<LowUIRBasicBlock>>` Modifiers: abstract	The edge queue for calculating the data flow. Returns: `UniqueQueue<IVertex<LowUIRBasicBlock> * 'ExeCtx * IVertex<LowUIRBasicBlock>>`
`this.SetAbsValue` Full Usage: `this.SetAbsValue` Parameters: vp : `SensitiveVarPoint<'ExeCtx>` arg1 : `'L` Modifiers: abstract	Get the abstract value at the given location. vp : `SensitiveVarPoint<'ExeCtx>` arg1 : `'L`