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

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.

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

LocationLocationSig