Module BasicBlocks
Provides classes and predicates for working with basic blocks in Java.
Import path
import semmle.code.java.controlflow.BasicBlocksImports
| 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. |