如何通过代码注解禁用Coverity检查，抑制误报的潜在越界访问警告

问题解答 #

可以通过Coverity专属的代码注解直接抑制该误报，完全不需要额外添加运行时校验逻辑。

误报原因说明

你提供的是链表基数排序的经典实现逻辑，静态分析工具之所以报越界，是因为它无法推导循环退出时i的取值边界：
你的for循环明确设置了终止条件i < sizeof(x)/sizeof(x[0])（也就是i < 32），循环退出时i的最大取值只能是31，刚好落在x数组的合法下标范围内，不可能出现越界访问，属于典型的静态分析语义推导不足导致的误报。

具体抑制方法

1. Coverity专属注解
   直接在触发告警的代码行上方添加对应告警类型的抑制注解即可，示例：

// 循环保证i<32，此处无越界风险，抑制Coverity误报
    /* coverity[BUFFER_OVERRUN] */
    x[i] = rp;

如果你的Coverity版本报的告警ID是OVERRUN，把注解里的BUFFER_OVERRUN换成实际的告警ID即可，注解本身不会生成任何运行时代码，仅对Coverity扫描生效。

2. 无侵入的通用消除方案
   如果你不想绑定Coverity的专属注解，也可以加编译期断言辅助静态分析工具推导边界：

struct rule *x[32];
// 编译期断言，无运行时开销
_Static_assert(sizeof(x)/sizeof(x[0]) == 32, "x数组长度固定为32");
memset(x, 0, sizeof(x));

编译期断言只会在编译阶段执行，不会产生任何运行时代码，绝大多数静态分析工具都能识别这个断言，进而自动推导出i的取值不会越界，也能消除该误报。

注意事项

添加抑制注解前务必确认逻辑确实不存在问题，最好在注解旁补充简短的原因注释，方便后续维护人员理解，避免误屏蔽真实的代码缺陷。

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