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

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.

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.

SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

A (non-empty) stack of summary components.

SummaryComponentStack