State<'Lattice> (B2R2)

State<'Lattice> Type

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

SSA-variable-based data flow state.

Constructors

Constructor Description

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>`


                
                  
                    
                      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`	Get 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`	Try 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`	ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>` Returns: `int`
`this.GetRegValue` Full Usage: `this.GetRegValue` Parameters: var : `Variable` Returns: `'Lattice`	Get register value. var : `Variable` Returns: `'Lattice`
`this.IsRegSet` Full Usage: `this.IsRegSet` Parameters: var : `Variable` Returns: `bool`	Check 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>`	ssaCFG : `IDiGraph<'a, 'b>` blk : `IVertex<'a>`
`this.SSAEdges` Full Usage: `this.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`	Set register value. var : `Variable` value : `'Lattice`
`this.SetRegValueWithoutAdding` Full Usage: `this.SetRegValueWithoutAdding` Parameters: var : `Variable` value : `'Lattice`	Set register value without adding it to the worklist. var : `Variable` value : `'Lattice`