Provides classes and predicates for defining flow summaries.
Import path
import codeql.dataflow.internal.FlowSummaryImplClasses
| 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. |
| SummarizedCallable | A callable with a flow summary. |