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	DEPRECATED: Use `rangeGuard` instead.
integerGuard	DEPRECATED.
nonZeroGuard	Gets an expression that directly tests whether a given expression, `e`, is non-zero.
rangeGuard	Holds if `guard` evaluating to `branch` ensures that: `e <= k` when `upper = true` `e >= k` when `upper = false`

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