Package buildutil provides utilities related to the go/build package in the standard library.

Package callgraph defines the call graph and various algorithms and utilities to operate on it.

Package exact implements Values representing untyped Go constants and the corresponding operations.

Package gccgoimporter implements Import for gccgo-generated object files.

Package gcimporter implements Import for gc-generated object files.

package importer implements an exporter and importer for Go export data.

Package loader loads, parses and type-checks packages of Go code plus their transitive closure, and retains both the ASTs and the derived facts.

Package pointer implements Andersen's analysis, an inclusion-based pointer analysis algorithm first described in (Andersen, 1994).

Package ssa defines a representation of the elements of Go programs (packages, types, functions, variables and constants) using a static single-assignment (SSA) form intermediate representation (IR) for the bodies of functions.

Package types declares the data types and implements the algorithms for type-checking of Go packages.