Predicate Private::summaryCallbackRange
Holds if a call targeting receiver should be synthesized inside c.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplpredicate summaryCallbackRange(SummarizedCallable c, SummaryNode receiver)