CodeQL library for Java/Kotlin

codeql/java-all 0.8.3 (changelog, source)

Module FlowSummary

Provides classes and predicates for defining flow summaries.

Import path

import semmle.code.java.dataflow.FlowSummary

Imports

java	Provides all default Java QL imports.

Classes

SummarizedCallableBase	A callable that may have a flow summary. This is either a regular `Callable` or a `SyntheticCallable`.
SyntheticCallable	A synthetic callable with a set of concrete call sites and a flow summary.

Modules

SummaryComponent	Provides predicates for constructing summary components.
SummaryComponentStack	Provides predicates for constructing stacks of summary components.

Aliases

Provenance	A class used to represent provenance values for MaD models.
RequiredSummaryComponentStack	A class that exists for QL technical reasons only (the IPA type used to represent component stacks needs to be bounded).
SummarizedCallable	A callable with a flow summary.
SummaryComponent	A component used in a flow summary.
SummaryComponentStack	A (non-empty) stack of summary components.