CallCFG (B2R2) | B2R2

CallCFG Type

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

Call graph, where each node represents a function. This is essentially a wrapper class of `IDiGraph`, which provides a uniform interface for both imperative and persistent graphs.

Constructors

Constructor	Description
`CallCFG(t)` Full Usage: `CallCFG(t)` Parameters: t : `ImplementationType` Returns: `CallCFG`	t : `ImplementationType` Returns: `CallCFG`

Instance members

Instance member	Description
`this.Edges` Full Usage: `this.Edges` Returns: `Edge<CallBasicBlock, CFGEdgeKind>[]`	Get an array of all edges in this CFG. Returns: `Edge<CallBasicBlock, CFGEdgeKind>[]`
`this.Exits` Full Usage: `this.Exits` Returns: `IVertex<CallBasicBlock>[]`	Get an array of exit vertices in this CFG. Returns: `IVertex<CallBasicBlock>[]`
`this.FoldEdge` Full Usage: `this.FoldEdge` Parameters: fn : `'a -> Edge<CallBasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a` Type parameters: 'a	Fold the edges of this CFG with the given function and accumulator. fn : `'a -> Edge<CallBasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a`
`this.FoldVertex` Full Usage: `this.FoldVertex` Parameters: fn : `'a -> IVertex<CallBasicBlock> -> 'a` acc : `'a` Returns: `'a` Type parameters: 'a	Fold the vertices of this CFG with the given function and accumulator. fn : `'a -> IVertex<CallBasicBlock> -> 'a` acc : `'a` Returns: `'a`
`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<CallBasicBlock, CFGEdgeKind> -> unit`	Iterate over the edges of this CFG with the given function. fn : `Edge<CallBasicBlock, CFGEdgeKind> -> unit`
`this.IterVertex` Full Usage: `this.IterVertex` Parameters: fn : `IVertex<CallBasicBlock> -> unit`	Iterate over the vertices of this CFG with the given function. fn : `IVertex<CallBasicBlock> -> unit`
`this.Roots` Full Usage: `this.Roots` Returns: `IVertex<CallBasicBlock>[]`	Get the root vertices of this CFG. Returns: `IVertex<CallBasicBlock>[]`
`this.Size` Full Usage: `this.Size` Returns: `int`	Number of vertices. Returns: `int`
`this.Unreachables` Full Usage: `this.Unreachables` Returns: `IVertex<CallBasicBlock>[]`	Get an array of unreachable vertices in this CFG. Returns: `IVertex<CallBasicBlock>[]`
`this.Vertices` Full Usage: `this.Vertices` Returns: `IVertex<CallBasicBlock>[]`	Get an array of all vertices in this CFG. Returns: `IVertex<CallBasicBlock>[]`