Module Bound
Provides classes for representing abstract bounds for use in, for example, range analysis.
Import path
import semmle.code.csharp.dataflow.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. |