Module Bound
Provides classes for representing abstract bounds for use in, for example, range analysis. This is a generic implementation of bounds that relies on language specific modules to provide language-specific definitions of expressions, SSA variables, etc.
Import path
import codeql.rangeanalysis.BoundClasses
| 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. |
Parameters
| Location | LocationSig | |
| Defs | BoundDefinitions<Bound::Location> |