CodeQL library for Java/Kotlin
codeql/java-all 0.8.9 (changelog, source)
Search

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 SummarizedCallables.

SourceSinkInterpretation<Location::Location, FlowSummaryImpl::SourceSinkInterpretationInput>

Legacy interface for interpreting source/sink specifications in static languages.

Predicates

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.