For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

RangeUtils

Module RangeUtils

Provides utility predicates for range analysis.


                                import semmle.code.java.dataflow.RangeUtils

java	Provides all default Java QL imports.

backEdge	Holds if `inp` is an input to `phi` along a back edge.
eqFlowCond	Gets a condition that tests whether `v` equals `e + delta`.
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.
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`.

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