CodeQL library for Java
Search

Module BasicBlocks

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

Import path

import 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.