如何用Frama-C追踪大型遗留C代码库中宏的链式使用？

Frama-C完全可以完成你描述的全链路追踪需求，针对6500万行规模的遗留代码，可通过以下步骤实现：

1. 宏展开与初始定位 #

使用Frama-C的预处理能力先追踪MAX_NUM的直接展开点：

• 执行命令frama-c -pp -pp-annot -I <头文件路径> <目标文件>，生成带注解的预处理结果，能直接看到MAX_NUM在结构体数组定义（如int a[MAX_NUM]）中的展开位置。
• 搭配-print选项输出抽象语法树（AST），将宏展开后的代码结构标准化，为后续依赖分析做准备。

2. 结构体层级依赖追踪 #

针对多层嵌套的结构体依赖，利用Frama-C的依赖分析插件：

• 启用-pdg（程序依赖图）插件，它能构建代码中所有元素的依赖关系，包括结构体字段之间的嵌套引用，轻松追踪到4级以上的结构体层级链。
• 结合-deps插件，可快速定位所有直接或间接依赖MAX_NUM的结构体类型，生成依赖关系报告。

3. 派生常量与函数链路追踪 #

对于派生常量和函数中的使用场景：

• 用-value插件的常量传播分析，能将SIZE_A这类基于sizeof(struct a)的常量，关联到其计算源头MAX_NUM，明确常量的依赖链。
• 通过-callgraph插件生成函数调用图，结合PDG分析，追踪所有接收含MAX_NUM相关结构体的函数参数，以及函数内部对结构体字段的访问操作，完整覆盖函数调用链路。

4. 大规模代码的性能优化 #

面对6500万行代码，需通过切片减少分析负载：

• 使用-slice插件，以MAX_NUM为切片准则，只保留与该宏直接或间接相关的代码片段，大幅降低分析时间和内存占用。
• 采用分模块分析策略：先定位MAX_NUM的定义文件，再逐步分析依赖它的模块，避免一次性处理全部代码。

注意事项 #

• 确保代码符合Frama-C支持的C标准，可通过-c11等选项指定标准，用-cpp-extra-args传递编译预处理参数，处理遗留代码中的非标准语法或条件编译逻辑。
• 若代码中存在复杂宏嵌套，需提前验证预处理结果的正确性，避免因宏展开不完整导致追踪遗漏。

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