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.internal.BaseSSApredicate ssaDefReachesUse(BaseSsaSourceVariable v, TrackedSsaDef def, VarRead use)