Predicate SsaImpl :: SsaDefReaches :: 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.SSA
predicate
ssaDefReachesUncertainDef
(
TrackedVar
v
,
TrackedSsaDef
def
,
SsaUncertainImplicitUpdate
redef
)