Predicate additionalValueFlowStep
Holds if e1 + delta
equals e2
.
Import path
import semmle.code.java.dataflow.RangeUtils
predicate additionalValueFlowStep(Expr e2, Expr e1, int delta)
Holds if e1 + delta
equals e2
.
import semmle.code.java.dataflow.RangeUtils
predicate additionalValueFlowStep(Expr e2, Expr e1, int delta)