CodeQL library for Java/Kotlin
codeql/java-all 7.3.2 (changelog, source)
Search

Module BasicBlocks

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

Import path

import semmle.code.java.controlflow.BasicBlocks

Imports

Dominance

Provides classes and predicates for control-flow graph dominance.

Make<Location::Location, BasicBlocks::Input>

Provides a basic block construction on top of a control flow graph.

java

Provides all default Java QL imports.

Predicates

hasDominanceInformation

Holds if the dominance relation is calculated for bb.

Classes

BasicBlock

A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.

ExitBlock

A basic block that ends in an exit node.