Predicate ssaUpdateStep
Holds if v
is an SsaExplicitUpdate
that equals e + delta
.
Import path
import semmle.code.java.dataflow.RangeUtils
predicate ssaUpdateStep(SsaExplicitUpdate v, Expr e, int delta)
Holds if v
is an SsaExplicitUpdate
that equals e + delta
.
import semmle.code.java.dataflow.RangeUtils
predicate ssaUpdateStep(SsaExplicitUpdate v, Expr e, int delta)