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
)