Class Bound
A bound that may be inferred for an expression plus/minus an integer delta.
Import path
import semmle.code.cpp.rangeanalysis.new.RangeAnalysisKnown direct subtypes
Predicates
| getAnExpr | Gets an expression that equals this bound. |
| getAnExpr | Gets an expression that equals this bound plus |
| getLocation | Gets a representative locaiton for this bound |
| toString | Gets a string representation of this bound. |