SSACFG (B2R2)

SSACFG Type

Namespace: B2R2.MiddleEnd.ControlFlowGraph
Assembly: B2R2.MiddleEnd.ControlFlowGraph.dll
Base Type: obj
All Interfaces: IDiGraph<SSABasicBlock, CFGEdgeKind> , IDiGraphAccessible<SSABasicBlock, CFGEdgeKind> , IGraphAccessible<SSABasicBlock, CFGEdgeKind>

SSA-based CFG, where each node contains SSA-based basic blocks. This is a wrapper class of `IDiGraph`, which provides a uniform interface for both imperative and persistent graphs.

Constructors

Constructor	Description
`SSACFG(t)` Full Usage: `SSACFG(t)` Parameters: t : `ImplementationType` Returns: `SSACFG`	Create a new CFG with the given implementation type. t : `ImplementationType` Returns: `SSACFG`

Instance members

Instance member	Description
`this.AddEdge` Full Usage: `this.AddEdge` Parameters: src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>` label : `CFGEdgeKind`	Add an edge between the given source and destination vertices with a label. src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>` label : `CFGEdgeKind`
`this.AddEdge` Full Usage: `this.AddEdge` Parameters: src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>`	Add an edge between the given source and destination vertices. src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>`
`this.AddRoot` Full Usage: `this.AddRoot` Parameters: v : `IVertex<SSABasicBlock>`	Add a root vertex to this CFG. v : `IVertex<SSABasicBlock>`
`this.AddVertex` Full Usage: `this.AddVertex` Parameters: bbl : `SSABasicBlock` Returns: `IVertex<SSABasicBlock>`	Add a vertex containing this BBL to this CFG, and return the added vertex. bbl : `SSABasicBlock` Returns: `IVertex<SSABasicBlock>`
`this.Clone` Full Usage: `this.Clone` Returns: `SSACFG`	Clone this CFG. Returns: `SSACFG`
`this.Edges` Full Usage: `this.Edges` Returns: `Edge<SSABasicBlock, CFGEdgeKind>[]`	Get an array of all edges in this CFG. Returns: `Edge<SSABasicBlock, CFGEdgeKind>[]`
`this.Exits` Full Usage: `this.Exits` Returns: `IVertex<SSABasicBlock>[]`	Get an array of exit vertices in this CFG. Returns: `IVertex<SSABasicBlock>[]`
`this.FindDef` Full Usage: `this.FindDef` Parameters: v : `IVertex<SSABasicBlock>` targetVarKind : `VariableKind` Returns: `Stmt option`	Find the definition of the given variable kind (targetVarKind) at the given node v. We simply follow the dominator tree of the given SSACFG until we find a definition. v : `IVertex<SSABasicBlock>` targetVarKind : `VariableKind` Returns: `Stmt option`
`this.FindEdge` Full Usage: `this.FindEdge` Parameters: src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind>`	Find an edge between the given source and destination vertices. src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind>`
`this.FindReachingDef` Full Usage: `this.FindReachingDef` Parameters: v : `IVertex<SSABasicBlock>` targetVarKind : `VariableKind` Returns: `Stmt option`	Find the reaching definition of the given variable kind (targetVarKind) at the entry of node v. We simply follow the dominator tree of the given SSACFG until we find a definition. v : `IVertex<SSABasicBlock>` targetVarKind : `VariableKind` Returns: `Stmt option`
`this.FindVertex` Full Usage: `this.FindVertex` Parameters: fn : `IVertex<SSABasicBlock> -> bool` Returns: `IVertex<SSABasicBlock>`	Find a vertex that satisfies the given predicate function. fn : `IVertex<SSABasicBlock> -> bool` Returns: `IVertex<SSABasicBlock>`
`this.FindVertex` Full Usage: `this.FindVertex` Parameters: vid : `VertexID` Returns: `IVertex<SSABasicBlock>`	Find a vertex by its VertexID. This function raises an exception when there is no such a vertex. vid : `VertexID` Returns: `IVertex<SSABasicBlock>`
`this.FoldEdge` Full Usage: `this.FoldEdge` Parameters: fn : `'a -> Edge<SSABasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a` Type parameters: 'a	Fold the edges of this CFG with the given function and an accumulator. fn : `'a -> Edge<SSABasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a`
`this.FoldVertex` Full Usage: `this.FoldVertex` Parameters: fn : `'a -> IVertex<SSABasicBlock> -> 'a` acc : `'a` Returns: `'a` Type parameters: 'a	Fold the vertices of this CFG with the given function and an accumulator. fn : `'a -> IVertex<SSABasicBlock> -> 'a` acc : `'a` Returns: `'a`
`this.GetPredEdges` Full Usage: `this.GetPredEdges` Parameters: v : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind>[]`	Get the predecessor edges of the given vertex. v : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind>[]`
`this.GetPreds` Full Usage: `this.GetPreds` Parameters: v : `IVertex<SSABasicBlock>` Returns: `IVertex<SSABasicBlock>[]`	Get the predecessors of the given vertex. v : `IVertex<SSABasicBlock>` Returns: `IVertex<SSABasicBlock>[]`
`this.GetSuccEdges` Full Usage: `this.GetSuccEdges` Parameters: v : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind>[]`	Get the successor edges of the given vertex. v : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind>[]`
`this.GetSuccs` Full Usage: `this.GetSuccs` Parameters: v : `IVertex<SSABasicBlock>` Returns: `IVertex<SSABasicBlock>[]`	Get the successors of the given vertex. v : `IVertex<SSABasicBlock>` Returns: `IVertex<SSABasicBlock>[]`
`this.HasVertex` Full Usage: `this.HasVertex` Parameters: vid : `VertexID` Returns: `bool`	Check the existence of the given vertex from this CFG. vid : `VertexID` Returns: `bool`
`this.ImplementationType` Full Usage: `this.ImplementationType` Returns: `ImplementationType`	Get the implementation type of this CFG. Returns: `ImplementationType`
`this.IsEmpty` Full Usage: `this.IsEmpty` Returns: `bool`	Is this empty? A CFG is empty when there is no vertex. Returns: `bool`
`this.IterEdge` Full Usage: `this.IterEdge` Parameters: fn : `Edge<SSABasicBlock, CFGEdgeKind> -> unit`	Iterate over the edges of this CFG with the given function. fn : `Edge<SSABasicBlock, CFGEdgeKind> -> unit`
`this.IterVertex` Full Usage: `this.IterVertex` Parameters: fn : `IVertex<SSABasicBlock> -> unit`	Iterate over the vertices of this CFG with the given function. fn : `IVertex<SSABasicBlock> -> unit`
`this.RemoveEdge` Full Usage: `this.RemoveEdge` Parameters: edge : `Edge<SSABasicBlock, CFGEdgeKind>`	Remove an edge from this CFG. edge : `Edge<SSABasicBlock, CFGEdgeKind>`
`this.RemoveEdge` Full Usage: `this.RemoveEdge` Parameters: src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>`	Remove an edge between the given source and destination vertices. src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>`
`this.RemoveVertex` Full Usage: `this.RemoveVertex` Parameters: v : `IVertex<SSABasicBlock>`	Remove the given vertex from this CFG. v : `IVertex<SSABasicBlock>`
`this.Reverse` Full Usage: `this.Reverse` Parameters: roots : `IEnumerable<IVertex<SSABasicBlock>>` Returns: `SSACFG`	Reverse the direction of the edges in this CFG while making the given vertices as root vertices. roots : `IEnumerable<IVertex<SSABasicBlock>>` Returns: `SSACFG`
`this.Roots` Full Usage: `this.Roots` Returns: `IVertex<SSABasicBlock>[]`	Get the root vertices of this CFG. Returns: `IVertex<SSABasicBlock>[]`
`this.SetRoots` Full Usage: `this.SetRoots` Parameters: vs : `IEnumerable<IVertex<SSABasicBlock>>`	Set root vertices of this CFG. vs : `IEnumerable<IVertex<SSABasicBlock>>`
`this.SingleRoot` Full Usage: `this.SingleRoot` Returns: `IVertex<SSABasicBlock>`	Get exactly one root vertex of this CFG. If there are multiple root vertices, this will raise an exception. Returns: `IVertex<SSABasicBlock>`
`this.Size` Full Usage: `this.Size` Returns: `int`	Number of vertices. Returns: `int`
`this.TryFindEdge` Full Usage: `this.TryFindEdge` Parameters: src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind> option`	Find an edge between the given source and destination vertices. This function returns an Option type. If there is no such an edge, it returns None. src : `IVertex<SSABasicBlock>` dst : `IVertex<SSABasicBlock>` Returns: `Edge<SSABasicBlock, CFGEdgeKind> option`
`this.TryFindVertex` Full Usage: `this.TryFindVertex` Parameters: fn : `IVertex<SSABasicBlock> -> bool` Returns: `IVertex<SSABasicBlock> option`	Find a vertex that satisfies the given predicate function. This function returns an Option type. If there is no such a vertex, it returns None. fn : `IVertex<SSABasicBlock> -> bool` Returns: `IVertex<SSABasicBlock> option`
`this.TryFindVertex` Full Usage: `this.TryFindVertex` Parameters: vid : `VertexID` Returns: `IVertex<SSABasicBlock> option`	Find a vertex by its VertexID. This function returns an Option type. If there is no such a vertex, it returns None. vid : `VertexID` Returns: `IVertex<SSABasicBlock> option`
`this.Unreachables` Full Usage: `this.Unreachables` Returns: `IVertex<SSABasicBlock>[]`	Get an array of unreachable vertices in this CFG. Returns: `IVertex<SSABasicBlock>[]`
`this.Vertices` Full Usage: `this.Vertices` Returns: `IVertex<SSABasicBlock>[]`	Get an array of all vertices in this CFG. Returns: `IVertex<SSABasicBlock>[]`