Predicate Cached::ssaDefReachesUncertainDef
Holds if the SSA definition of v
at def
reaches redef
without crossing another
SSA definition of v
.
Import path
import semmle.code.java.dataflow.internal.SsaImpl
predicate ssaDefReachesUncertainDef(TrackedSsaDef def, SsaUncertainImplicitUpdate redef)