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
)