Predicate SsaImpl::hasEntryDef
Holds if v has an implicit definition at the entry, b, of the callable.
Import path
import semmle.code.java.dataflow.internal.BaseSSApredicate hasEntryDef(BaseSsaSourceVariable v, BasicBlock b)Holds if v has an implicit definition at the entry, b, of the callable.
import semmle.code.java.dataflow.internal.BaseSSApredicate hasEntryDef(BaseSsaSourceVariable v, BasicBlock b)