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