Module FlowSummary
Provides classes and predicates for defining flow summaries.
Import path
import semmle.code.java.dataflow.FlowSummaryImports
| java | Provides all default Java QL imports. |
Classes
| SummarizedCallableBase | A callable that may have a flow summary. This is either a regular |
| 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 |