Module Private
Import path
import semmle.go.dataflow.internal.FlowSummaryImplImports
| Private | Provides predicates for compiling flow summaries down to atomic local steps, read steps, and store steps. |
Modules
| External | |
| SummaryComponent | Provides predicates for constructing summary components. |
| SummaryComponentStack | Provides predicates for constructing stacks of summary components. |
Aliases
| Steps | Provides a compilation of flow summaries to atomic data-flow steps. |