codeql/java-all
0.5.1
For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
.
import semmle.code.java.dataflow.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