Module ControlFlowGraph

Provides classes and predicates for computing expression-level intra-procedural control flow graphs.

The only API exported by this library are the toplevel classes ControlFlowNode and its subclass ConditionNode, which wrap the successor relation and the concept of true- and false-successors of conditions. A cfg node may either be a statement, an expression, or the enclosing callable, indicating that execution of the callable terminates.