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