CodeQL library for Java/Kotlin

codeql/java-all 0.10.0 (changelog, source)

Module MakeUtils

Import path

import codeql.rangeanalysis.internal.RangeUtils

Predicates

backEdge	Holds if `inp` is an input to `phi` along a back edge.
eqFlowCond	Gets a condition that tests whether `v` equals `e + delta`.
guardControlsSsaRead	Holds if `guard` controls the position `controlled` with the value `testIsTrue`.
guardDirectlyControlsSsaRead	Holds if `guard` directly controls the position `controlled` with the value `testIsTrue`.
maxPhiInputRank	Holds if `rix` is the number of input edges to `phi`.
rankedPhiInput	Holds if `inp` is an input to `phi` along `edge` and this input has index `r` in an arbitrary 1-based numbering of the input edges to `phi`.
ssaRead	Gets an expression that equals `v - d`.
ssaUpdateStep	Holds if `v` is an `SsaExplicitUpdate` that equals `e + delta`.
valueFlowStep	Holds if `e1 + delta` equals `e2`.

Classes

SsaReadPosition	A position at which an SSA variable is read. This includes both ordinary reads occurring in basic blocks and input to phi nodes occurring along an edge between two basic blocks.
SsaReadPositionBlock	A basic block in which an SSA variable is read.
SsaReadPositionPhiInputEdge	An edge between two basic blocks where the latter block has an SSA phi definition. The edge therefore has a read of an SSA variable serving as the input to the phi node.

Parameters

Lang		Semantic
D		DeltaSig