Module Public
Provides classes and predicates for defining flow summaries.
Import path
import semmle.code.csharp.dataflow.internal.FlowSummaryImpl
Classes
| NeutralCallable |
A callable that has a neutral model. |
| NeutralSummaryCallable |
A callable where there is no flow via the callable. |
| 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. |
| SummaryComponentStack |
A (non-empty) stack of summary components. |
Modules
| SummaryComponent |
Provides predicates for constructing summary components. |
| SummaryComponentStack |
Provides predicates for constructing stacks of summary components. |