CodeQL library for Java/Kotlin

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

Module RangeUtils

Provides utility predicates for range analysis.

Import path

import semmle.code.java.dataflow.RangeUtils

Imports

java	Provides all default Java QL imports.

Predicates

additionalValueFlowStep	Holds if `e1 + delta` equals `e2`.
getArrayDef	Gets the definition of `v` provided that `v` is a non-null array with an explicit `ArrayCreationExpr` definition and that the definition does not go through a back edge.

Classes

ConstantBooleanExpr	An expression that always has the same boolean value.
ConstantIntegerExpr	An expression that always has the same integer value.
ConstantStringExpr	An expression that always has the same string value.

Aliases

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`.
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`.