Go Analysis Framework: modular static analysis by go team
4 hours ago
- 包分析定义了一个用于Go代码模块化静态分析的接口，其中分析器一次检查一个包，并可以从较低层的包保存信息供较高层的包使用。
- 核心类型Analyzer包含Name、Doc、Run函数、Requires（对其他分析器的依赖）、ResultType和FactTypes等字段，支持组合和重用。
- Pass表示一个分析单元，提供类型信息、语法树以及报告诊断（通过Report/Reportf）和管理事实（导出/导入）的方法。
- 事实是可序列化的中间结果，允许跨包分析，类似于编译器的导出数据，必须使用gob编码以实现确定性缓存。
- 该框架支持验证（Validate函数）、测试工具（analysistest）以及驱动程序（如singlechecker和multichecker），用于将分析器作为独立命令运行。