DisasmCFG (B2R2)

DisasmCFG Type

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

Disassembly-based CFG, where each node contains disassembly code. This is the most user-friendly CFG, although we do not use this for internal analyses. Therefore, this class does not provide ways to modify the CFG.

Constructors

Constructor	Description
`DisasmCFG(disasmBuilder, ircfg)` Full Usage: `DisasmCFG(disasmBuilder, ircfg)` Parameters: disasmBuilder : `IDisasmBuilder` ircfg : `LowUIRCFG` Returns: `DisasmCFG`	disasmBuilder : `IDisasmBuilder` ircfg : `LowUIRCFG` Returns: `DisasmCFG`

Instance members

Instance member	Description
`this.Edges` Full Usage: `this.Edges` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>[]`	Get an array of all edges in this CFG. Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>[]`
`this.Exits` Full Usage: `this.Exits` Returns: `IVertex<DisasmBasicBlock>[]`	Get an array of exit vertices in this CFG. Returns: `IVertex<DisasmBasicBlock>[]`
`this.FindEdge` Full Usage: `this.FindEdge` Parameters: src : `IVertex<DisasmBasicBlock>` dst : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>`	Find an edge between the given source and destination vertices. src : `IVertex<DisasmBasicBlock>` dst : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>`
`this.FoldEdge` Full Usage: `this.FoldEdge` Parameters: fn : `'a -> Edge<DisasmBasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a` Type parameters: 'a	Fold the edges of this CFG with the given function and accumulator. fn : `'a -> Edge<DisasmBasicBlock, CFGEdgeKind> -> 'a` acc : `'a` Returns: `'a`
`this.FoldVertex` Full Usage: `this.FoldVertex` Parameters: fn : `'a -> IVertex<DisasmBasicBlock> -> 'a` acc : `'a` Returns: `'a` Type parameters: 'a	Fold the vertices of this CFG with the given function and accumulator. fn : `'a -> IVertex<DisasmBasicBlock> -> 'a` acc : `'a` Returns: `'a`
`this.GetPredEdges` Full Usage: `this.GetPredEdges` Parameters: v : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>[]`	Get the predecessor edges of the given vertex. v : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>[]`
`this.GetPreds` Full Usage: `this.GetPreds` Parameters: v : `IVertex<DisasmBasicBlock>` Returns: `IVertex<DisasmBasicBlock>[]`	Get the predecessors of the given vertex. v : `IVertex<DisasmBasicBlock>` Returns: `IVertex<DisasmBasicBlock>[]`
`this.GetSuccEdges` Full Usage: `this.GetSuccEdges` Parameters: v : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>[]`	Get the successor edges of the given vertex. v : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind>[]`
`this.GetSuccs` Full Usage: `this.GetSuccs` Parameters: v : `IVertex<DisasmBasicBlock>` Returns: `IVertex<DisasmBasicBlock>[]`	Get the successors of the given vertex. v : `IVertex<DisasmBasicBlock>` Returns: `IVertex<DisasmBasicBlock>[]`
`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<DisasmBasicBlock, CFGEdgeKind> -> unit`	Iterate over the edges of this CFG with the given function. fn : `Edge<DisasmBasicBlock, CFGEdgeKind> -> unit`
`this.IterVertex` Full Usage: `this.IterVertex` Parameters: fn : `IVertex<DisasmBasicBlock> -> unit`	Iterate over the vertices of this CFG with the given function. fn : `IVertex<DisasmBasicBlock> -> unit`
`this.Roots` Full Usage: `this.Roots` Returns: `IVertex<DisasmBasicBlock>[]`	Get the root vertices of this CFG. Returns: `IVertex<DisasmBasicBlock>[]`
`this.SingleRoot` Full Usage: `this.SingleRoot` Returns: `IVertex<DisasmBasicBlock>`	Get exactly one root vertex of this CFG. If there are multiple root vertices, this will raise an exception. Returns: `IVertex<DisasmBasicBlock>`
`this.Size` Full Usage: `this.Size` Returns: `int`	Number of vertices. Returns: `int`
`this.TryFindEdge` Full Usage: `this.TryFindEdge` Parameters: src : `IVertex<DisasmBasicBlock>` dst : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, 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<DisasmBasicBlock>` dst : `IVertex<DisasmBasicBlock>` Returns: `Edge<DisasmBasicBlock, CFGEdgeKind> option`
`this.Unreachables` Full Usage: `this.Unreachables` Returns: `IVertex<DisasmBasicBlock>[]`	Get an array of unreachable vertices in this CFG. Returns: `IVertex<DisasmBasicBlock>[]`
`this.Vertices` Full Usage: `this.Vertices` Returns: `IVertex<DisasmBasicBlock>[]`	Get an array of all vertices in this CFG. Returns: `IVertex<DisasmBasicBlock>[]`