Predicate SsaImpl::SsaDefReaches::ssaDefReachesUse
Holds if the SSA definition of v
at def
reaches use
without crossing another
SSA definition of v
.
Import path
import semmle.code.java.dataflow.SSA
predicate ssaDefReachesUse(TrackedVar v, TrackedSsaDef def, VarRead use)