升级cppcheck至2.13.0后Active checkers消息含义及数量疑问

原本通过以下命令将cppcheck与CMake集成，运行一切正常：

cmake .. -DCMAKE_BUILD_TYPE=Release -DCMAKE_CXX_CPPCHECK="cppcheck;--enable=all;--suppress=missingIncludeSystem;--inline-suppr;--std=c++17;--error-exitcode=1"

升级Ubuntu并切换到cppcheck 2.13.0版本后，每个编译目标都会输出额外信息：

...
[89/108] Building CXX object include/boost/multi/adaptors/fftw/test/CMakeFiles/combinations.cpp.x.dir/combinations.cpp.o
Checking /home/user/boost-multi/include/boost/multi/adaptors/fftw/test/combinations.cpp ...
nofile:0:0: information: Active checkers: 4/592 (use --checkers-report=<filename> to see details) [checkersReport]
...

存在两个疑问：

• "Active checkers: 4/592"这条消息具体是什么意思？
• 明明指定了--enable=all，为何实际启用的检查器数量仅为4？

查看cppcheck帮助文档，仅找到--checkers-report选项的说明：

$ cppcheck --help
...
    --checkers-report=<file>
                         Write a report of all the active checkers to the given file.
...

添加--checkers-report=cppcheck.report选项后生成了检查器报告，但未找到直接解释。

2024年8月补充：单独运行cppcheck时使用以下命令：

$ cmake -G Ninja .. -DCMAKE_EXPORT_COMPILE_COMMANDS=ON
$ cmake --build . --parallel
$ cppcheck --project=compile_commands.json --enable=all --suppress=missingIncludeSystem --checkers-report=cppcheck.report --suppress=checkersReport --inline-suppr --std=c++17 --error-exitcode=1 -j 40

生成的检查器报告中，大部分检查器的状态为Yes。

1. "Active checkers: 4/592"的含义 #

这条信息表示：当前cppcheck分析单个源文件时，实际生效的检查器只有4个，而cppcheck 2.13.0版本总共内置了592个检查器（该总数会随cppcheck版本更新变化）。

2. CMake集成时仅激活4个检查器的原因 #

核心问题在于CMake调用cppcheck的方式和直接扫描整个项目的逻辑完全不同：

• CMake是逐个源文件单独调用cppcheck，而非通过--project参数加载整个项目的编译命令。这种单文件调用模式下，cppcheck无法获取跨文件的项目上下文（比如全局定义、跨文件依赖、未使用的函数引用等）。
• 大部分检查器（如unusedFunction、missingInclude等）需要依赖全局项目上下文才能正常工作，因此在单文件模式下会被自动禁用，仅保留4个无需跨文件信息的基础语法检查器（比如简单的语法错误、未定义变量、基础类型不匹配等）。

3. 单独运行与CMake集成的差异 #

当使用--project=compile_commands.json单独运行cppcheck时，它会加载整个项目的编译命令，获取完整的依赖关系和全局上下文，因此可以激活--enable=all指定的大部分检查器，对应报告里的Yes状态。而CMake的单文件调用模式直接限制了检查器的激活范围。

解决建议 #

如果希望在CMake流程中激活更多检查器，可参考两种方案：

• 放弃CMake内置的CMAKE_CXX_CPPCHECK集成，改用生成compile_commands.json后单独运行cppcheck的方式（即补充内容中使用的流程），将其作为构建脚本中的一个独立步骤。
• 若坚持使用CMake内置集成，可尝试添加--force参数强制cppcheck尝试激活更多检查器，但效果可能不如批量扫描理想，且容易出现误报。

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