State<'Lattice> (B2R2) | B2R2

State<'Lattice> Type

Namespace: B2R2.MiddleEnd.DataFlow
Assembly: B2R2.MiddleEnd.DataFlow.dll
Parent Module: SSASparseDataFlow
Base Type: obj
All Interfaces: IAbsValProvider<SSAVarPoint, 'Lattice>

Represents an SSA-variable-based data flow state.

Constructors

Constructor	Description
`State(hdl, lattice, scheme)` Full Usage: `State(hdl, lattice, scheme)` Parameters: hdl : `BinHandle` lattice : `ILattice<'Lattice>` scheme : `IScheme<'Lattice>` Returns: `State<'Lattice>`	hdl : `BinHandle` lattice : `ILattice<'Lattice>` scheme : `IScheme<'Lattice>` Returns: `State<'Lattice>`

Instance members

Instance member	Description
`this.EvalExpr` Full Usage: `this.EvalExpr` Parameters: expr : `Expr` Returns: `'Lattice`	expr : `Expr` Returns: `'Lattice`
`this.ExecutedEdges` Full Usage: `this.ExecutedEdges` Returns: `HashSet<VertexID * VertexID>`	Returns: `HashSet<VertexID * VertexID>`
`this.FlowWorkList` Full Usage: `this.FlowWorkList` Returns: `Queue<VertexID * VertexID>`	Returns: `Queue<VertexID * VertexID>`
`this.GetExecutedSources` Full Usage: `this.GetExecutedSources` Parameters: ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>` srcIDs : `'c array` Returns: `'c array` Type parameters: 'b, 'c (requires equality)	Gets the list of executed source vertices. ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>` srcIDs : `'c array` Returns: `'c array`
`this.GetMemValue` Full Usage: `this.GetMemValue` Parameters: var : `Variable` rt : `RegType` addr : `Addr` Returns: `'Lattice`	Tries to get memory value. Unaligned access will always return Bottom. var : `Variable` rt : `RegType` addr : `Addr` Returns: `'Lattice`
`this.GetNumIncomingExecutedEdges` Full Usage: `this.GetNumIncomingExecutedEdges` Parameters: ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>` Returns: `int` Type parameters: 'b (requires equality)	ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>` Returns: `int`
`this.GetRegValue` Full Usage: `this.GetRegValue` Parameters: var : `Variable` Returns: `'Lattice`	Gets register value. var : `Variable` Returns: `'Lattice`
`this.IsRegSet` Full Usage: `this.IsRegSet` Parameters: var : `Variable` Returns: `bool`	Checks if the register has been initialized. var : `Variable` Returns: `bool`
`this.MarkExecutable` Full Usage: `this.MarkExecutable` Parameters: src : `VertexID` dst : `VertexID`	src : `VertexID` dst : `VertexID`
`this.MarkSuccessorsExecutable` Full Usage: `this.MarkSuccessorsExecutable` Parameters: ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>` Type parameters: 'b (requires equality)	ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>`
`this.SSAEdges` Full Usage: `this.SSAEdges` Returns: `SSAEdges`	Returns: `SSAEdges`
`this.SSAWorkList` Full Usage: `this.SSAWorkList` Returns: `UniqueQueue<Variable>`	Returns: `UniqueQueue<Variable>`
`this.Scheme` Full Usage: `this.Scheme` Returns: `IScheme<'Lattice>`	Returns: `IScheme<'Lattice>`
`this.SetRegValue` Full Usage: `this.SetRegValue` Parameters: var : `Variable` value : `'Lattice`	Sets register value. var : `Variable` value : `'Lattice`
`this.SetRegValueWithoutAdding` Full Usage: `this.SetRegValueWithoutAdding` Parameters: var : `Variable` value : `'Lattice`	Sets register value without adding it to the worklist. var : `Variable` value : `'Lattice`