Package callcheck provides a framework for validating arguments in function calls.

Package code answers structural and type questions about Go code.

Package dfa provides types and functions for implementing data-flow analyses.

Package edit contains helpers for creating suggested fixes.

Package lint provides abstractions on top of go/analysis.