| go/types | Package types declares the data types and implements the algorithms for type-checking of Go packages. |
| golang.org/x/tools/go/analysis | Package analysis defines the interface between a modular static analysis and an analysis driver program. |
| honnef.co/go/tools/analysis/callcheck | Package callcheck provides a framework for validating arguments in function calls. |
| honnef.co/go/tools/analysis/lint | Package lint provides abstractions on top of go/analysis. |
| honnef.co/go/tools/go/types/typeutil | |
| honnef.co/go/tools/internal/passes/buildir | Package buildir defines an Analyzer that constructs the IR of an error-free package and returns the set of all functions within it. |
| honnef.co/go/tools/knowledge | Package knowledge contains manually collected information about Go APIs. |