Module BasicBlocks

Provides classes and predicates for working with basic blocks in Java.

Import path

semmle.code.java.controlflow.BasicBlocks

Imports

ControlFlowGraph

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

Dominance

Provides classes and predicates for control-flow graph dominance.

java

Provides all default Java QL imports.

Classes

BasicBlock

A control-flow node that represents the start of a basic block.