For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

FlowSummary

Module FlowSummary

Provides classes and predicates for defining flow summaries.


                                import semmle.code.java.dataflow.FlowSummary

java	Provides all default Java QL imports.

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.

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

NeutralCallable	A callable where there is no flow via the callable.
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.