Perforce QAC分析C库重实现时的MISRA空指针解引用警告问题

能不能忽略这些警告？ #

绝对不能忽略。原因有两点：

1. MISRA标准明确要求消除所有潜在的空指针解引用风险，这类警告属于必须修复的合规问题；
2. ASSERT宏通常仅在Debug编译模式下生效，Release模式会被完全移除，无法提供运行时的安全保障——QAC正是识别到这一点，才会认为指针仍存在为空的可能。

如何修复？ #

核心思路是用运行时强制检查替代仅Debug生效的ASSERT，同时让静态分析工具能明确识别指针的非空状态，具体步骤如下：

1. 替换ASSERT为运行时参数校验 #

把原来的断言替换为编译期始终生效的条件判断，并按照MISRA要求实现错误处理（比如终止程序或返回合法值，具体取决于你的系统需求）。示例代码：

// 替换原有的ASSERT语句
if (destination == NULL || source == NULL || num == 0) {
    // 嵌入式系统可调用panic类终止函数，或按自定义逻辑处理
    // 注意：标准strncat对空指针的行为是未定义的，自定义实现需明确错误处理规则
    __attribute__((noreturn)) void strncat_panic(void);
    strncat_panic();
}

2. 调整循环代码，强化静态分析识别 #

如果替换检查后仍有警告，可微调循环结构，让QAC更清晰地追踪指针状态。比如在遍历目标字符串末尾时，先明确指针非空：

// 先确认destination非空（已通过前面的检查），再进入循环
char *dst = destination;
while (*dst != '\0') {
    dst++;
}
// 后续拼接操作使用dst指针
while (num > 0 && *source != '\0') {
    *dst++ = *source++;
    num--;
}
*dst = '\0';

3. 极端情况：添加QAC抑制规则（不推荐） #

如果确认代码在所有场景下都不会出现空指针（比如该函数仅被内部调用，且调用方已做严格校验），可在代码中添加QAC专属的抑制注释。但这是最后手段，优先修复代码逻辑更符合MISRA合规要求。示例：

/*PRQA S 0603,0604 ++*/  // 抑制指定的空指针解引用警告
while (*destination != '\0') {
    destination++;
}
/*PRQA S 0603,0604 --*/

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