CodeQL library for Java/Kotlin

codeql/java-all 4.2.1-dev (changelog, source)

Module Flow::CaptureSsaInput

Import path

import codeql.dataflow.VariableCapture

Predicates

getABasicBlockSuccessor	Gets an immediate successor of basic block `bb`, if any.
getImmediateBasicBlockDominator	Gets the basic block that immediately dominates basic block `bb`, if any.
variableRead	Holds if the `i`th node of basic block `bb` reads source variable `v`. The Boolean `certain` indicates whether the read is certain.
variableWrite	Holds if the `i`th node of basic block `bb` is a (potential) write to source variable `v`. The Boolean `certain` indicates whether the write is certain.

Classes

An exit basic block, that is, a basic block whose last node is an exit node.

Aliases

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