Module IntegerGuards

Provides classes and predicates for integer guards.

Import path

import semmle.code.java.dataflow.IntegerGuards

java	Provides all default Java QL imports.

intBoundGuard	A guard that splits the values of a variable into one range with an upper bound of `k-1` and one with a lower bound of `k`.
integerGuard	An expression that directly tests whether a given expression is equal to `k` or not. The set of `k`s is restricted to those that are relevant for the expression or have a direct comparison with the expression.

An expression for which the predicate integerGuard is relevant. This includes VarRead and MethodCall.