CodeQL library for Java
codeql/java-all 0.3.2 (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.

Modules

SummaryComponent

Provides predicates for constructing summary components.

SummaryComponentStack

Provides predicates for constructing stacks of summary components.

Aliases

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.