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

Module Make::Public

Provides classes and predicates for defining flow summaries.

Import path

import codeql.dataflow.internal.FlowSummaryImpl

Classes

NeutralCallable

A callable that has a neutral model.

NeutralSummaryCallable

A callable where there is no flow via the callable.

Provenance

A class used to represent provenance values for MaD models.

SummarizedCallable

A callable with a flow summary.