Predicate sinkElement
Holds if an external sink specification exists for e with input specification
input, kind kind and provenance provenance.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImplSpecific
predicate
sinkElement
(
Element
e
,
string
input
,
string
kind
,
string
provenance
)