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

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 ith node of basic block bb reads source variable v. The Boolean certain indicates whether the read is certain.

variableWrite

Holds if the ith node of basic block bb is a (potential) write to source variable v. The Boolean certain indicates whether the write is certain.

Classes

ExitBasicBlock

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.