Module FlowSummary
Provides classes and predicates for defining flow summaries.
Import path
import semmle.go.dataflow.FlowSummary
Imports
go | Provides classes for working with Go programs. |
Aliases
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 | Provides predicates for constructing stacks of summary components. |