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
backEdge | Holds if |
eqFlowCond | Gets a condition that tests whether |
getArrayDef | Gets the definition of |
guardControlsSsaRead | Holds if |
guardDirectlyControlsSsaRead | Holds if |
ssaRead | Gets an expression that equals |
ssaUpdateStep | Holds if |
valueFlowStep | Holds if |
Classes
ConstantIntegerExpr | An expression that always has the same integer value. |