CFG

A CFG represents the interprocedural control flow graph.

The corresponding Protobuf message type is CFG.

The vertices of a CFG correspond to CfgNode
- objects. Every CfgNode object in the IR is potentially a vertex in the CFG.
The edges of a CFG correspond to CfgEdge objects.
There are no guaranteed properties for the CFG. There are, however, guaranteed properties for constituent components CfgNode and CfgEdgeLabel.

API Implementations

Language	CFG Implementation
C++	gtirb::CFG
Python	typing.set[gtirb.Edge]
Common Lisp	a graph:digraph whose nodes hold code-block UUIDs and edges are labeled with edge_label objects