Module FlowSummary

Provides classes and predicates for defining flow summaries.

Import path

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.

Provides the Range class used to define the extent of SummarizedCallable.

Provenance	A class used to represent provenance values for MaD models.
SummarizedCallable	A callable with a relevant flow summary.