Provides classes and predicates for defining flow summaries.
Import path
import codeql.dataflow.internal.FlowSummaryImplClasses
| NeutralCallable | A callable where there exist a MaD neutral (summary, source or sink) model that applies to it. |
| Provenance | A class used to represent provenance values for MaD models. |
| SinkElement | A sink element. |
| SourceElement | A source element. |
| SummarizedCallable | A callable with a flow summary. |
Type signatures
Aliases
| NeutralSinkCallable | A callable where there exists a MaD neutral sink model that applies to it. |
| NeutralSourceCallable | A callable where there exists a MaD neutral source model that applies to it. |
| NeutralSummaryCallable | A callable where there exists a MaD neutral summary model that applies to it. |