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 composite defines an Analyzer that checks for unkeyed composite literals.

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.

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.

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

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.

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 pkgfact package is a demonstration and test of the package fact mechanism.

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.

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

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 stringintconv defines an Analyzer that flags type conversions from integers to strings.

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

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

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

Package unreachable defines an Analyzer that checks for unreachable code.

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