SSAVarBasedDataFlowState<'Lattice> (B2R2)

SSAVarBasedDataFlowState<'Lattice> Type

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

SSA-variable-based data flow state.

Constructors

Constructor Description

Constructor	Description
`SSAVarBasedDataFlowState(hdl, analysis)` Full Usage: `SSAVarBasedDataFlowState(hdl, analysis)` Parameters: hdl : `BinHandle` analysis : `ISSAVarBasedDataFlowAnalysis<'Lattice>` Returns: `SSAVarBasedDataFlowState<'Lattice>`	hdl : `BinHandle` analysis : `ISSAVarBasedDataFlowAnalysis<'Lattice>` Returns: `SSAVarBasedDataFlowState<'Lattice>`


                
                  
                    
                      SSAVarBasedDataFlowState(hdl, analysis)

Full Usage: SSAVarBasedDataFlowState(hdl, analysis)

Parameters:

hdl : BinHandle

analysis : ISSAVarBasedDataFlowAnalysis<'Lattice>

Returns: SSAVarBasedDataFlowState<'Lattice>

hdl : BinHandle
analysis : ISSAVarBasedDataFlowAnalysis<'Lattice>

Returns: SSAVarBasedDataFlowState<'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.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`