Predicate backEdge
Holds if inp
is an input to phi
along a back edge.
Import path
import semmle.code.java.dataflow.RangeUtils
predicate
backEdge
(
SsaPhiNode
phi
,
SsaVariable
inp
,
SsaReadPositionPhiInputEdge
edge
)