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