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
)