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

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.