32、深入解析MISRA C:2012与CERT C规则

深入解析MISRA C:2012与CERT C规则

1. MISRA C:2012规则概述

MISRA C:2012包含了一系列规则，以确保C语言代码的安全性、可靠性和可维护性。以下是部分重要规则及其说明：
| 规则编号 | 规则描述 |
| ---- | ---- |
| MISRA C:2012 Rule 22.9 | 调用会设置errno的函数后，应将errno的值与零进行比较 |
| MISRA C:2012 Rule 2.1 | 项目中不应包含无法到达的代码 |
| MISRA C:2012 Rule 2.2 | 不应存在死代码 |
| MISRA C:2012 Rule 8.13 | 指针应尽可能指向const限定类型 |
| MISRA C:2012 Rule 9.1 | 具有自动存储期的对象在赋值前不应被读取 |

2. 不可判定的指令

某些指令是不可判定的，即静态分析工具只能在特定情况下检查其合规性。Polyspace支持17条此类指令中的15条。对于特定指令，Polyspace会显示所有可能问题的子集。具体检测的问题可在指令参考页面的Polyspace实现部分查看。

3. MISRA C:2012指令

MISRA C:2012还包含了一系列指令，以下是部分指令及其描述：
| 指令编号 | 指令描述 |
| ---- | ---- |
| MISRA C:2012 Dir 1.1 | 程序输出所依赖的任何实现定义行为都应记录并理解 |
| MISRA C:2012 Dir 2.1 | 所有源文件应无编译错误地