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

Module Bound

Provides classes for representing abstract bounds for use in, for example, range analysis.

Import path

import semmle.code.java.dataflow.Bound

Classes

Bound

A bound that may be inferred for an expression plus/minus an integer delta.

ExprBound

A bound that corresponds to the value of a specific expression that might be interesting, but isn’t otherwise represented by the value of an SSA variable.

SsaBound

A bound corresponding to the value of an SSA variable.

ZeroBound

The bound that corresponds to the integer 0. This is used to represent all integer bounds as bounds are always accompanied by an added integer delta.