2026-07-26

Go 的静态分析框架将静态检查转化为可复用模块

Go 官方文档介绍了一个用于构建、组合和复用静态分析器的包级接口。其 Fact 系统能够跨软件包共享分析结果，但驱动程序的行为和软件包覆盖范围仍是重要限制。