如何扩展gnatcheck规则获取Ada项目包实例化内的全局变量？

一、能否实现自定义gnatcheck规则？ #

可以。官方Global_Variables规则仅遍历顶层库包规范，只要修改规则的遍历逻辑，就能覆盖嵌套包、包实例化内部的变量。

二、规则实现位置与自定义方法 #

不同GNAT版本的LKQL规则存放路径有差异：

• GNAT Pro 22.1：规则文件位于GNAT安装目录\libexec\gnatcheck\lkql（Windows）或$GNAT_INSTALL_DIR/libexec/gnatcheck/lkql（Linux）。
• GNAT Community 2021 / Pro 19.2：规则未以独立.lkql文件存放，而是嵌入在gnatcheck二进制中。可以从对应版本的GNAT源码仓库提取官方Global_Variables的LKQL代码，再做修改。

自定义步骤：

1. 提取官方Global_Variables规则的LKQL代码，核心逻辑是筛选库包内的变量声明。
2. 修改遍历逻辑：
   • 新增递归遍历所有嵌套package_spec的逻辑，不再局限于顶层库包。
   • 添加对package_instantiation节点的处理，解析实例化包内部的变量声明。
3. 将修改后的规则保存为自定义.lkql文件，放在单独目录中。
4. 运行gnatcheck时，通过--rules-dir参数指定自定义规则目录，优先加载修改后的规则：

   gnatcheck --rules-dir=./custom_rules -rules=Global_Variables your_project.gpr
   

三、替代工具 #

如果自定义gnatcheck规则成本较高，可使用以下工具：

• GNAT Studio 符号视图：打开项目后，切换到"Symbols"视图，筛选"Variable"类型，可直接查看所有全局变量（包括嵌套包、实例化包内的变量），支持按包层级筛选。
• gnatxref：执行命令gnatxref -v -u your_project.gpr，生成所有变量的交叉引用报告，其中全局变量会标注所属包路径，通过文本过滤即可提取目标列表。
• AdaCore CodePeer（需授权）：静态分析报告中包含完整的全局变量清单，自动识别所有包层级的变量，还附带变量的使用情况统计。

内容的提问来源于stack exchange，提问作者DasBoot