Predicate PreSsa::implicitEntryDef
Import path
import semmle.code.csharp.controlflow.internal.PreSsapredicate implicitEntryDef(Callable c, BasicBlock bb, SourceVariable v)import semmle.code.csharp.controlflow.internal.PreSsapredicate implicitEntryDef(Callable c, BasicBlock bb, SourceVariable v)