Module Private::External

Import path

import semmle.code.java.dataflow.internal.FlowSummaryImpl

Imports

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.

Predicates

summaryElement

Holds if an external flow summary exists for c with input specification input, output specification output, kind kind, and provenance provenance.

Aliases

neutralElement

Holds if a neutral (MaD) model exists for c of kind kind with provenance provenance and isExact is true if the model signature matches c exactly - otherwise false.