| 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/go/ir | Package ir defines a representation of the elements of Go programs (packages, types, functions, variables and constants) using a static single-information (SSI) form intermediate representation (IR) for the bodies of functions. |
| honnef.co/go/tools/go/ir/irutil | |
| 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. |
| reflect | Package reflect implements run-time reflection, allowing a program to manipulate objects with arbitrary types. |