Module Cfg

Import path

import python

Predicates

Holds if bb1 has bb2 as a direct successor and the edge between bb1 and bb2 is a dominating edge.

Classes

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
EntryBasicBlock	An entry basic block, that is, a basic block whose first node is an entry node.

Aliases

ControlFlowNode

A control flow node. Control flow nodes have a many-to-one relation with syntactic nodes, although most syntactic nodes have only one corresponding control flow node. Edges between control flow nodes include exceptional as well as normal control flow.