CodeQL library for Java/Kotlin

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

Module signature InputSig

Import path

import codeql.dataflow.VariableCapture

Predicates

entryBlock	Holds if `bb` is a control-flow entry point.
exitBlock	Holds if `bb` is a control-flow exit point.
getABasicBlockSuccessor	Gets an immediate successor of basic block `bb`, if any.
getImmediateBasicBlockDominator	Gets the basic block that immediately dominates basic block `bb`, if any.

Types

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
Callable
CapturedParameter	A parameter that is captured in a closure.
CapturedVariable	A variable that is captured in a closure.
ClosureExpr	An expression constructing a closure that may capture one or more variables. This can for example be a lambda or a constructor call of a locally defined object.
ControlFlowNode	A control flow node.
Expr	An expression with a value. That is, we expect these expressions to be represented in the data flow graph.
VariableRead	A read of a captured variable.
VariableWrite	A write to a captured variable.

Parameters

Location