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