LowUIRCFG (B2R2)

LowUIRCFG Type

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

CFG where each node is an IR-level basic block. This is the main data structure that we use to represent the control flow graph of a function. This is essentially a wrapper class of `IDiGraph`, which provides a uniform interface for both imperative and persistent graphs.

Constructors

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

Instance members

Instance member	Description
`this.AddEdge` Full Usage: `this.AddEdge` Parameters: src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>` label : `CFGEdgeKind`	Add an edge between the given source and destination vertices with a label. src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>` label : `CFGEdgeKind`
`this.AddEdge` Full Usage: `this.AddEdge` Parameters: src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>`	Add an edge between the given source and destination vertices. src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>`
`this.AddRoot` Full Usage: `this.AddRoot` Parameters: v : `IVertex<LowUIRBasicBlock>`	Add a root vertex to this CFG. v : `IVertex<LowUIRBasicBlock>`
`this.AddVertex` Full Usage: `this.AddVertex` Parameters: bbl : `LowUIRBasicBlock` Returns: `IVertex<LowUIRBasicBlock>`	Add a vertex containing this BBL to this CFG, and return the added vertex. bbl : `LowUIRBasicBlock` Returns: `IVertex<LowUIRBasicBlock>`
`this.Clone` Full Usage: `this.Clone` Returns: `LowUIRCFG`	Clone this CFG. Returns: `LowUIRCFG`
`this.Edges` Full Usage: `this.Edges` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>[]`	Get an array of all edges in this CFG. Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>[]`
`this.Exits` Full Usage: `this.Exits` Returns: `IVertex<LowUIRBasicBlock>[]`	Get an array of exit vertices in this CFG. Returns: `IVertex<LowUIRBasicBlock>[]`
`this.FindEdge` Full Usage: `this.FindEdge` Parameters: src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>`	Find an edge between the given source and destination vertices. src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>`
`this.FindVertex` Full Usage: `this.FindVertex` Parameters: fn : `IVertex<LowUIRBasicBlock> -> bool` Returns: `IVertex<LowUIRBasicBlock>`	Find a vertex that satisfies the given predicate function. fn : `IVertex<LowUIRBasicBlock> -> bool` Returns: `IVertex<LowUIRBasicBlock>`
`this.FindVertex` Full Usage: `this.FindVertex` Parameters: vid : `VertexID` Returns: `IVertex<LowUIRBasicBlock>`	Find a vertex by its VertexID. This function raises an exception when there is no such a vertex. vid : `VertexID` Returns: `IVertex<LowUIRBasicBlock>`
`this.FoldEdge` Full Usage: `this.FoldEdge` Parameters: fn : `'a -> Edge<LowUIRBasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a`	Fold the edges of this CFG with the given function and accumulator. fn : `'a -> Edge<LowUIRBasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a`
`this.FoldVertex` Full Usage: `this.FoldVertex` Parameters: fn : `'a -> IVertex<LowUIRBasicBlock> -> 'a` acc : `'a` Returns: `'a`	Fold the vertices of this CFG with the given function and accumulator. fn : `'a -> IVertex<LowUIRBasicBlock> -> 'a` acc : `'a` Returns: `'a`
`this.GetPredEdges` Full Usage: `this.GetPredEdges` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>[]`	Get the predecessor edges of the given vertex. v : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>[]`
`this.GetPreds` Full Usage: `this.GetPreds` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `IVertex<LowUIRBasicBlock>[]`	Get the predecessors of the given vertex. v : `IVertex<LowUIRBasicBlock>` Returns: `IVertex<LowUIRBasicBlock>[]`
`this.GetSuccEdges` Full Usage: `this.GetSuccEdges` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>[]`	Get the successor edges of the given vertex. v : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind>[]`
`this.GetSuccs` Full Usage: `this.GetSuccs` Parameters: v : `IVertex<LowUIRBasicBlock>` Returns: `IVertex<LowUIRBasicBlock>[]`	Get the successors of the given vertex. v : `IVertex<LowUIRBasicBlock>` Returns: `IVertex<LowUIRBasicBlock>[]`
`this.HasVertex` Full Usage: `this.HasVertex` Parameters: vid : `VertexID` Returns: `bool`	Check the existence of the given vertex in 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<LowUIRBasicBlock, CFGEdgeKind> -> unit`	Iterate over the edges of this CFG with the given function. fn : `Edge<LowUIRBasicBlock, CFGEdgeKind> -> unit`
`this.IterVertex` Full Usage: `this.IterVertex` Parameters: fn : `IVertex<LowUIRBasicBlock> -> unit`	Iterate over the vertices of this CFG with the given function. fn : `IVertex<LowUIRBasicBlock> -> unit`
`this.RemoveEdge` Full Usage: `this.RemoveEdge` Parameters: edge : `Edge<LowUIRBasicBlock, CFGEdgeKind>`	Remove the given edge from this CFG. edge : `Edge<LowUIRBasicBlock, CFGEdgeKind>`
`this.RemoveEdge` Full Usage: `this.RemoveEdge` Parameters: src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>`	Remove an edge between the given source and destination vertices. src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>`
`this.RemoveVertex` Full Usage: `this.RemoveVertex` Parameters: v : `IVertex<LowUIRBasicBlock>`	Remove the given vertex from this CFG. v : `IVertex<LowUIRBasicBlock>`
`this.Reverse` Full Usage: `this.Reverse` Parameters: roots : `IEnumerable<IVertex<LowUIRBasicBlock>>` Returns: `LowUIRCFG`	Reverse the direction of the edges in this CFG while making the given vertices as root vertices. roots : `IEnumerable<IVertex<LowUIRBasicBlock>>` Returns: `LowUIRCFG`
`this.Roots` Full Usage: `this.Roots` Returns: `IVertex<LowUIRBasicBlock>[]`	Get the root vertices of this CFG. Returns: `IVertex<LowUIRBasicBlock>[]`
`this.SetRoots` Full Usage: `this.SetRoots` Parameters: vs : `IEnumerable<IVertex<LowUIRBasicBlock>>`	Set root vertices of this CFG. vs : `IEnumerable<IVertex<LowUIRBasicBlock>>`
`this.SingleRoot` Full Usage: `this.SingleRoot` Returns: `IVertex<LowUIRBasicBlock>`	Get exactly one root vertex of this CFG. If there are multiple root vertices, this will raise an exception. Returns: `IVertex<LowUIRBasicBlock>`
`this.Size` Full Usage: `this.Size` Returns: `int`	Number of vertices. Returns: `int`
`this.TryFindEdge` Full Usage: `this.TryFindEdge` Parameters: src : `IVertex<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, 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<LowUIRBasicBlock>` dst : `IVertex<LowUIRBasicBlock>` Returns: `Edge<LowUIRBasicBlock, CFGEdgeKind> option`
`this.TryFindVertex` Full Usage: `this.TryFindVertex` Parameters: fn : `IVertex<LowUIRBasicBlock> -> bool` Returns: `IVertex<LowUIRBasicBlock> 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<LowUIRBasicBlock> -> bool` Returns: `IVertex<LowUIRBasicBlock> option`
`this.TryFindVertex` Full Usage: `this.TryFindVertex` Parameters: vid : `VertexID` Returns: `IVertex<LowUIRBasicBlock> 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<LowUIRBasicBlock> option`
`this.Unreachables` Full Usage: `this.Unreachables` Returns: `IVertex<LowUIRBasicBlock>[]`	Get an array of unreachable vertices in this CFG. Returns: `IVertex<LowUIRBasicBlock>[]`
`this.Vertices` Full Usage: `this.Vertices` Returns: `IVertex<LowUIRBasicBlock>[]`	Get an array of all vertices in this CFG. Returns: `IVertex<LowUIRBasicBlock>[]`