go/analysis：Go团队的模块化静态分析框架，由可重用的小组件构成

在 `go vet`、`staticcheck` 等工具的引擎盖下：Go 团队维护着一个官方框架，只需几十行代码即可编写一个 linter。

具体案例

你继承了一个20万行的Go项目。代码审查在过去六个月里一直忽略一个模式，导致goroutine泄漏：创建了context.WithTimeout但没有defer cancel()。阅读代码时无法发现。go vet也不会报告。在其他语言中，要在自制linter中添加一条规则可能需要一周时间。

在Go中，你可以用一个晚上写一个Analyzer。因为语言团队长期维护着一个几乎默默无闻但却基础的包：golang.org/x/tools/go/analysis。

为什么这很重要

go/analysis包（“Go分析框架”）并不新——它已发布并文档化在pkg.go.dev/golang.org/x/tools/go/analysis，但它经常出现在Hacker News上（最近一次是2026-07-26），因为许多Go开发者仍然不知道它。然而，它正是Go静态分析生态系统的基础设施核心：go vet基于它运行，staticcheck（Dominik Honnef）使用它，gopls（官方语言服务器）将其诊断集成其中，而现代CI中的绝大多数linter——尤其是golangci-lint——不过是堆叠的Analyzer集合。

该框架的理念很简单：一个分析器 = 一个结构体。这个结构体声明其名称、文档、对其他分析器的依赖，以及一个接收*analysis.Pass对象（已解析的代码、类型检查器、文件、注释）的Run函数，并通过pass.Report报告诊断。仅此而已。

底层工作原理

三个核心理念支撑其架构：

1. 通过组合实现模块化。一个分析器可以声明Requires: []*analysis.Analyzer{inspect.Analyzer}：框架解析依赖关系图，并将预置分析器的结果注入到Pass.ResultOf中。结果：你的业务分析器无需重新解析文件，直接消费inspect的结果（它仅对整个链条执行一次类型化AST遍历）。

2. 单一“驱动”，多种引导方式。你编写Analyzer。singlechecker.Main(myAnalyzer)将其变为独立CLI二进制，multichecker.Main(a1, a2, a3)将其变为多检查二进制，unitchecker.Main(...)将其集成到go vet -vettool=...中。无需胶水代码：同一Analyzer代码可在本地、CI、通过gopls的IDE中，以及在golangci-lint中运行。

3. 自动类型修复。诊断可以携带SuggestedFix：基于token.Pos位置的文本替换。gopls可在编辑器中一键应用它们。这使得staticcheck能够提议“将errors.Is(err, sql.ErrNoRows)替换为更符合惯例的检查”，IDE也能正确执行替换。

举个量级：singlechecker——将*Analyzer转为完整二进制的函数——仅用一个文件实现。一个可发布的Go linter最简框架约为40行，包括文档和测试。与从头编写ESLint插件相比，这完全不是一个量级。

实践中的改变

以下是在真实项目中常见的三种用法：

• 企业内部规则。“禁止直接导入net/http，必须通过我们的tracing包装器。”30行代码，一个分析器检查*ast.ImportSpec，用analysistest.Run在fixture文件上测试，次日即可在CI中启用该规则。
• 大规模代码迁移。大规模重构（如在500个文件中重命名已弃用的API）：一个带有SuggestedFix的Analyzer将操作转化为go vet -vettool=./monfix -fix ./...。无需人工干预。
• 自定义数据流分析。框架提供了伴随包——ctrlflow（控制流图）、buildssa（Go代码的SSA表示），可在此基础上进行非平凡的数据流分析。例如，检测未关闭的sql.Rows泄漏，需要从SSA（而非原始AST）开始认真处理。

需要了解的局限性

有两个盲点需要注意：

• 包内分析。默认情况下，一个Analyzer一次只能看到一个包。包间分析（全程序分析）需要额外工作——可以通过“facts”（analysis.Fact）实现，允许一个分析器导出包符号的事实，以便其他导入该包的分析器重用，但这需要更复杂的编写过程。
• 无动态插件生态。无法通过运行时配置将Analyzer“插入”到go vet中：必须将其编译进二进制。这是一个设计选择（Go不喜欢动态插件），而非遗漏。

要记住的要点

• go/analysis是Go静态分析相关的官方API，从自制linter到自动代码迁移。
• 一个分析器 = 一个带有Run(*Pass)的结构体。其余部分（CLI、与go vet集成、gopls集成、CI）为你提供。
• 如果你仍在用shell或sed编写代码质量规则，那晚的投入是非常值得的。