cppcheck 是最适合日常c++数组越界排查的静态检查工具，因其开箱即用、不依赖运行环境、能直接识别典型越界模式且误报率可控。
cppcheck 是目前对 C++ 数组越界问题响应最直接、开箱即用的静态检查工具。它不依赖运行环境，能从源码层面识别 arr[i] 中 i 超出声明长度（如 int arr[5] 却访问 arr[5] 或 arr[-1]）的典型模式，且误报率相对可控。
为什么 cppcheck 比其他工具更适合日常越界排查
不是所有静态分析器都把数组越界当作高优先级问题处理：clang 默认关闭越界检查，coverity 准确率虽高但部署成本大，TscanCode 对部分复杂索引表达式（如 arr[i + j - k]）识别不稳定。cppcheck 在轻量和实效之间做了务实取舍——它不追求 100% 覆盖所有指针算术场景，但对 for 循环中常见的 i 、<code>i 、<code>while (i 等模式有稳定捕捉能力。
- 它能识别
int arr[10]; for (int i = 0; i 这类明显越界 - 对
std::vector::at()调用不做越界检查（那是运行时行为），但会标记裸数组和operator[]的可疑索引 - 不分析函数参数传入的指针长度（如
void f(int* p)），这点和clang++ -fsanitize=address形成互补
cppcheck 启动越界检查的关键参数组合
默认模式下 cppcheck 只启用基础检查，数组越界属于“边界检查”子类，需显式开启：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 必须加
--enable=warning或--enable=all：否则越界警告被静默忽略 - 推荐加
--inconclusive：某些带变量计算的索引（如arr[x * 2]）会被标为“可能越界”，比完全漏掉强 - 避免只扫单个文件：越界常涉及跨函数数据流，用
cppcheck --enable=warning --inconclusive src/扫目录更可靠 - CI 流程中加
--error-exitcode=1：让构建在发现越界时直接失败，防止带病提交
别只靠 cppcheck —— 动态验证仍是底线
静态分析再强，也覆盖不了运行时才确定的索引值。比如 arr[input_value]，input_value 来自用户输入或网络，cppcheck 无法判断是否越界。这时候必须配合动态手段：
- 开发阶段强制启用
g++ -fsanitize=address编译，它会在arr[100]访问int arr[5]时立刻报ERROR: AddressSanitizer: heap-buffer-overflow - 测试用例里主动构造边界值：传
size、size - 1、size + 1进函数，观察是否 crash 或 ASan 报错 - 对关键数组封装一层带断言的访问函数，例如
template<size_t n> int& safe_at(int (&a)[N], size_t i) { assert(i </size_t>
真正难防的是那些索引由多个间接计算拼出来的场景，比如 arr[get_offset() + get_step() * loop_counter]。这类问题 cppcheck 通常报不出，ASan 也只在实际越界时触发。需要人工结合数据流分析+单元测试覆盖，不能全扔给工具。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
