VarBasedDataFlowState<'Lattice> (B2R2)

VarBasedDataFlowState<'Lattice> Type

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

LowUIR-variable-based data flow state.

Constructors

Constructor Description

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


                
                  
                    
                      VarBasedDataFlowState(hdl, analysis)

Full Usage: VarBasedDataFlowState(hdl, analysis)

Parameters:

hdl : BinHandle

analysis : IVarBasedDataFlowAnalysis<'Lattice>

Returns: VarBasedDataFlowState<'Lattice>

hdl : BinHandle
analysis : IVarBasedDataFlowAnalysis<'Lattice>

Returns: VarBasedDataFlowState<'Lattice>

Instance members

Static members

Static member	Description
`VarBasedDataFlowState.ToFrameOffset(stackAddr)` Full Usage: `VarBasedDataFlowState.ToFrameOffset(stackAddr)` Parameters: stackAddr : `uint64` Returns: `int` Modifiers: inline	Translate the given stack pointer address to a local frame offset. stackAddr : `uint64` Returns: `int`

Instance member	Description
`this.ClearPendingVertices` Full Usage: `this.ClearPendingVertices`	Clear the pending vertices.
`this.DefUseMap` Full Usage: `this.DefUseMap` Returns: `Dictionary<VarPoint, HashSet<VarPoint>>`	Mapping from a variable def to its uses. Returns: `Dictionary<VarPoint, HashSet<VarPoint>>`
`this.DequeueVertexForRemoval` Full Usage: `this.DequeueVertexForRemoval` Returns: `bool * IVertex<LowUIRBasicBlock>`	Dequeue the vertex for removal. When there is no vertex to remove, it returns `false`. Returns: `bool * IVertex<LowUIRBasicBlock>`
`this.DomainSubState` Full Usage: `this.DomainSubState` Returns: `IVarBasedDataFlowSubState<'Lattice>`	Sub-state for the user's domain. Returns: `IVarBasedDataFlowSubState<'Lattice>`
`this.EnqueuePendingVertices` Full Usage: `this.EnqueuePendingVertices` Parameters: subState : `IVarBasedDataFlowSubState<'a>`	Enqueue the pending vertices to the given sub-state. subState : `IVarBasedDataFlowSubState<'a>`
`this.GetStmtInfos` Full Usage: `this.GetStmtInfos` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `StmtInfo[]`	Return the array of StmtInfos of the given vertex. v : `IVertex<LowUIRBasicBlock>` Returns: `StmtInfo[]`
`this.GetTerminatorInSSA` Full Usage: `this.GetTerminatorInSSA` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `Stmt`	Return the terminator statment of the given vertex in an SSA form. v : `IVertex<LowUIRBasicBlock>` Returns: `Stmt`
`this.IsVertexPending` Full Usage: `this.IsVertexPending` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `bool`	Check if the given vertex is pending for processing. v : `IVertex<LowUIRBasicBlock>` Returns: `bool`
`this.MarkVertexAsPending` Full Usage: `this.MarkVertexAsPending` Parameters: v : `IVertex<LowUIRBasicBlock>`	Mark the given vertex as pending, which means that the vertex needs to be processed. v : `IVertex<LowUIRBasicBlock>`
`this.MarkVertexAsRemoval` Full Usage: `this.MarkVertexAsRemoval` Parameters: v : `IVertex<LowUIRBasicBlock>`	Mark the given vertex as removal, which means that the vertex needs to be removed. v : `IVertex<LowUIRBasicBlock>`
`this.PerVertexIncomingDefs` Full Usage: `this.PerVertexIncomingDefs` Returns: `Dictionary<IVertex<LowUIRBasicBlock>, Map<VarKind, VarPoint>>`	Mapping from a CFG vertex to its incoming definitions. Returns: `Dictionary<IVertex<LowUIRBasicBlock>, Map<VarKind, VarPoint>>`
`this.PerVertexOutgoingDefs` Full Usage: `this.PerVertexOutgoingDefs` Returns: `Dictionary<IVertex<LowUIRBasicBlock>, Map<VarKind, VarPoint>>`	Mapping from a CFG vertex to its outgoing definitions. Returns: `Dictionary<IVertex<LowUIRBasicBlock>, Map<VarKind, VarPoint>>`
`this.PhiInfos` Full Usage: `this.PhiInfos` Returns: `Dictionary<IVertex<LowUIRBasicBlock>, PhiInfo>`	Mapping from a CFG vertex to its phi information. Returns: `Dictionary<IVertex<LowUIRBasicBlock>, PhiInfo>`
`this.Reset` Full Usage: `this.Reset`	Reset this state.
`this.StackPointerSubState` Full Usage: `this.StackPointerSubState` Returns: `IVarBasedDataFlowSubState<Lattice>`	Sub-state for the stack-pointer domain. Returns: `IVarBasedDataFlowSubState<Lattice>`
`this.StmtOfBBLs` Full Usage: `this.StmtOfBBLs` Returns: `Dictionary<ProgramPoint, StmtOfBBL>`	Mapping from a program point to `StmtOfBBL`, which is a pair of a Low-UIR statement and its corresponding vertex that contains the statement. Returns: `Dictionary<ProgramPoint, StmtOfBBL>`
`this.TryGetSSADef` Full Usage: `this.TryGetSSADef` Parameters: v : `Variable` Returns: `Stmt option`	Try to get the definition of the given SSA variable in an SSA form. v : `Variable` Returns: `Stmt option`
`this.UseDefMap` Full Usage: `this.UseDefMap` Returns: `Dictionary<VarPoint, VarPoint>`	Mapping from a variable use to its definition. Returns: `Dictionary<VarPoint, VarPoint>`