codeql/cpp-all
3.0.1-dev
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import codeql.rangeanalysis.RangeAnalysis
Holds if b + delta is a valid bound for e. - upper = true : e <= b + delta - upper = false : e >= b + delta
b + delta
e
upper = true
e <= b + delta
upper = false
e >= b + delta