Predicate summaryDataFlowCall
Gets the synthesized data-flow call for receiver.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific
SummaryCall
summaryDataFlowCall
(
SummaryNode
receiver
)