Class 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.
Import path
import semmle.code.csharp.dataflow.Bound
Direct supertypes
Indirect supertypes
Predicates
Inherited predicates
getExpr |
Gets an expression that equals this bound. |
from Bound |
hasLocationInfo |
Holds if this element is at the specified location. The location spans column |
from Bound |