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 |
SyntheticCallable |
A synthetic callable with a set of concrete call sites and a flow summary. |
Modules
SummaryComponent |
Provides predicates for constructing summary components. |
SummaryComponentStack |
Provides predicates for constructing stacks of summary components. |
Aliases
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. |