Predicate SourceSinkInterpretationInput::sinkElement
Holds if an external sink specification exists for n with input specification
input and kind kind.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplpredicate sinkElement(Element e, string input, string kind, Provenance provenance, string model)