Module Private::External

Import path

import semmle.go.dataflow.internal.FlowSummaryImpl

External	Provides a means of translating externally (e.g., MaD) defined flow summaries into a `SummarizedCallable`s.
SourceSinkInterpretation<FlowSummaryImpl::SourceSinkInterpretationInput>	Legacy interface for interpreting source/sink specifications in static languages.

neutralElement	Holds if a neutral model exists for `c` of kind `kind` and with provenance `provenance`.
summaryElement	Holds if an external flow summary exists for `c` with input specification `input`, output specification `output`, kind `kind`, and provenance `provenance`.