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

Module CaptureInput

Import path

import semmle.code.java.dataflow.internal.DataFlowPrivate

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.

Classes

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.

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.