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

Module Make::Private::External

Provides a means of translating externally (e.g., MaD) defined flow summaries into a SummarizedCallables.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Predicates

interpretSpec

Holds if spec specifies summary component stack stack.

invalidIndexComponent

Holds if token part of specification spec has an invalid index. E.g., Argument[-1].

invalidProvenance

Holds if provenance is not a valid provenance value.

invalidSpecComponent

Holds if component c of specification spec cannot be parsed.

Modules

SourceSinkInterpretation

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

Module signatures