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.FlowSummaryImpl
predicate sinkElement(Element e, string input, string kind, Provenance provenance, string model)