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.

Import path

semmle.code.java.ControlFlowGraph

Imports

java

Provides all default Java QL imports.

Classes

ConditionNode

A control-flow node that branches based on a condition.

ControlFlowNode

A node in the expression-level control-flow graph.