Module Bounds
Import path
import semmle.code.java.dataflow.RangeAnalysisClasses
Aliases
| SemBound | A bound that may be inferred for an expression plus/minus an integer delta. |
| SemZeroBound | 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. |