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