Predicate SourceSinkInterpretationInput::sourceElement
Holds if an external source specification exists for n
with output specification
output
and kind kind
.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl
predicate sourceElement(Element e, string output, string kind, Provenance provenance, string model)