go/

Package analysistest provides utilities for testing analyzers.

Package checker provides an analysis driver based on the golang.org/x/tools/go/packages representation of a set of packages and all their dependencies, as produced by packages.Load.

Package multichecker defines the main function for an analysis driver with several analyzers.

Package appends defines an Analyzer that detects if there is only one variable in append.

Package asmdecl defines an Analyzer that reports mismatches between assembly files and Go declarations.

Package assign defines an Analyzer that detects useless assignments.

Package atomic defines an Analyzer that checks for common mistakes using the sync/atomic package.

Package atomicalign defines an Analyzer that checks for non-64-bit-aligned arguments to sync/atomic functions.

Package bools defines an Analyzer that detects common mistakes involving boolean operators.

Package buildssa defines an Analyzer that constructs the SSA representation of an error-free package and returns the set of all functions within it.

Package buildtag defines an Analyzer that checks build tags.

Package cgocall defines an Analyzer that detects some violations of the cgo pointer passing rules.

Package composite defines an Analyzer that checks for unkeyed composite literals.

Package copylock defines an Analyzer that checks for locks erroneously passed by value.

Package ctrlflow is an analysis that provides a syntactic control-flow graph (CFG) for the body of a function.

Package deepequalerrors defines an Analyzer that checks for the use of reflect.DeepEqual with error values.

Package defers defines an Analyzer that checks for common mistakes in defer statements.

The defers command runs the defers analyzer.

Package directive defines an Analyzer that checks known Go toolchain directives.

The errorsas package defines an Analyzer that checks that the second argument to errors.As is a pointer to a type implementing error.

Package fieldalignment defines an Analyzer that detects structs that would use less memory if their fields were sorted.

Package findcall defines an Analyzer that serves as a trivial example and test of the Analysis API.

The findcall command runs the findcall analyzer.

Package framepointer defines an Analyzer that reports assembly code that clobbers the frame pointer before saving it.

The httpmux command runs the httpmux analyzer.

Package httpresponse defines an Analyzer that checks for mistakes using HTTP responses.

Package ifaceassert defines an Analyzer that flags impossible interface-interface type assertions.

The ifaceassert command runs the ifaceassert analyzer.

Package inspect defines an Analyzer that provides an AST inspector (golang.org/x/tools/go/ast/inspector.Inspector) for the syntax trees of a package.

Package loopclosure defines an Analyzer that checks for references to enclosing loop variables from within nested functions.

Package lostcancel defines an Analyzer that checks for failure to call a context cancellation function.

The lostcancel command applies the golang.org/x/tools/go/analysis/passes/lostcancel analysis to the specified packages of Go source code.

Package nilfunc defines an Analyzer that checks for useless comparisons against nil.

Package nilness inspects the control-flow graph of an SSA function and reports errors such as nil pointer dereferences and degenerate nil pointer comparisons.

The nilness command applies the golang.org/x/tools/go/analysis/passes/nilness analysis to the specified packages of Go source code.

The pkgfact package is a demonstration and test of the package fact mechanism.

Package printf defines an Analyzer that checks consistency of Printf format strings and arguments.

Package reflectvaluecompare defines an Analyzer that checks for accidentally using == or reflect.DeepEqual to compare reflect.Value values.

Package shadow defines an Analyzer that checks for shadowed variables.

The shadow command runs the shadow analyzer.

Package shift defines an Analyzer that checks for shifts that exceed the width of an integer.

Package sigchanyzer defines an Analyzer that detects misuse of unbuffered signal as argument to signal.Notify.

Package slog defines an Analyzer that checks for mismatched key-value pairs in log/slog calls.

Package sortslice defines an Analyzer that checks for calls to sort.Slice that do not use a slice type as first argument.

Package stdmethods defines an Analyzer that checks for misspellings in the signatures of methods similar to well-known interfaces.

Package stdversion reports uses of standard library symbols that are "too new" for the Go version in force in the referring file.

Package stringintconv defines an Analyzer that flags type conversions from integers to strings.

The stringintconv command runs the stringintconv analyzer.

Package structtag defines an Analyzer that checks struct field tags are well formed.

Package testinggoroutine defines an Analyzerfor detecting calls to Fatal from a test goroutine.

Package tests defines an Analyzer that checks for common mistaken usages of tests and examples.

Package timeformat defines an Analyzer that checks for the use of time.Format or time.Parse calls with a bad format.

The unmarshal package defines an Analyzer that checks for passing non-pointer or non-interface types to unmarshal and decode functions.

The unmarshal command runs the unmarshal analyzer.

Package unreachable defines an Analyzer that checks for unreachable code.

Package unsafeptr defines an Analyzer that checks for invalid conversions of uintptr to unsafe.Pointer.

Package unusedresult defines an analyzer that checks for unused results of calls to certain pure functions.

The unusedresult command applies the golang.org/x/tools/go/analysis/passes/unusedresult analysis to the specified packages of Go source code.

Package unusedwrite checks for unused writes to the elements of a struct or array object.

Package usesgenerics defines an Analyzer that checks for usage of generic features added in Go 1.18.

Package waitgroup defines an Analyzer that detects simple misuses of sync.WaitGroup.

Package singlechecker defines the main function for an analysis driver with only a single analysis.

The unitchecker package defines the main function for an analysis driver that analyzes a single compilation unit during a build.

Package astutil contains common utilities for working with the Go AST.

Package inspector provides helper functions for traversal over the syntax trees of a package, including node filtering by type, and materialization of the traversal stack.

Package cha computes the call graph of a Go program using the Class Hierarchy Analysis (CHA) algorithm.

This package provides Rapid Type Analysis (RTA) for Go, a fast algorithm for call graph construction and discovery of reachable code (and hence dead code) and runtime types.

Package static computes the call graph of a Go program containing only static call edges.

Package vta computes the call graph of a Go program using the Variable Type Analysis (VTA) algorithm originally described in "Practical Virtual Method Call Resolution for Java," Vijay Sundaresan, Laurie Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam, Etienne Gagnon, and Charles Godin.

The gopackages command is a diagnostic tool that demonstrates how to use golang.org/x/tools/go/packages to load, parse, type-check, and print one or more Go packages.

Package packagestest creates temporary projects on disk for testing go tools on.

Package ssa/interp defines an interpreter for the SSA representation of Go programs.

Package objectpath defines a naming scheme for types.Objects (that is, named entities in Go programs) relative to their enclosing package.

Package typeutil defines various utilities for types, such as Map, a mapping from types.Type to any values.