如何让Eclipse CDT的AssignmentToItselfChecker跨翻译单元检测自赋值？

一、现有检查器的局限性 #

默认的AssignmentToItselfChecker本质是单翻译单元（TU）级别的语法/简单语义检查，它只扫描当前文件内的直接赋值逻辑，不会追踪跨文件函数调用的数据流。碰到number1 = callMe(number1)这种场景时，因为无法获取callMe的函数定义、判断其返回值是否与传入参数一致，所以无法识别这是自赋值。

二、污点分析+跨单元查找的可行性 #

完全可以通过污点分析结合跨翻译单元索引实现这类检测，核心思路和具体操作如下：

• 核心逻辑：将赋值左侧的变量标记为“监控目标”，右侧函数的输入参数标记为“污点”；若函数返回值直接来源于该污点参数（即callMe原样返回传入的参数），则判定为跨单元自赋值。
• 在CDT框架内扩展检查器的步骤：
  • 启用CDT的跨翻译单元索引，确保能获取到目标函数的定义、参数及返回逻辑；
  • 实现数据流分析逻辑，追踪函数参数到返回值的依赖关系；
  • 扩展AssignmentToItselfChecker的检测逻辑，当赋值右侧为函数调用时，校验该函数是否返回了传入的目标变量，触发对应告警。

三、独立（非IDE）解决方案 #

如果需要脱离Eclipse IDE运行，有两种可行方向：

1. 基于CDT构建独立命令行工具 #

CDT提供了可独立运行的静态分析组件，你可以：

• 打包CDT分析库与自定义检查器，通过命令行参数指定待分析的项目/文件；
• 配置org.eclipse.cdt.core的索引构建参数，确保分析时加载所有关联的翻译单元和头文件，启用跨TU分析模式。

2. 使用第三方静态分析工具 #

若不想基于CDT二次开发，可选择支持跨TU分析的工具：

• Clang Static Analyzer：支持跨翻译单元分析与污点追踪，可基于其AST和静态分析框架自定义Checker，通过调用图（CallGraph）和内存区域（MemRegion）追踪参数到返回值的数据流；
• Cppcheck：可编写自定义规则（利用其AST API），配合项目级跨TU分析模式（开启--enable=all --inconclusive参数）实现检测。

四、CDT现有功能的利用 #

CDT默认没有内置跨TU自赋值检测，但你可以复用以下现有机制减少开发量：

• 跨翻译单元索引服务：通过ICIndex接口可直接获取函数定义、参数、返回类型等信息，无需自行解析所有文件；
• 数据流分析框架：IDataFlowAnalysis与ISymbol相关类可协助追踪变量传播路径，避免从零构建分析逻辑。

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