MISRAC:2004 Coding Standard

### MISRA C:2004编码标准解析 #### 标题解读 - **MISRAC:2004 Coding Standard**：这是一个针对C语言的编程标准，由MISRA（Motor Industry Software Reliability Association）制定，发布于2004年。此标准旨在为在关键系统中使用C语言提供指导。 #### 描述解读 - **MISRAC:2004 Coding Standard**：这是由LDRA公司编写的文档，提供了与MISRA C:2004编码标准相关的规则对比。该文档的优点在于规则全面，但缺点在于是英文版本，且缺少具体的示例。 - **规则对比**：文档中列出了MISRA C:2004标准中的规则被LDRA工具套件实现的情况，包括必须遵守的规则、建议性的规则以及无法通过静态分析工具检测的规则。 #### 标签解读 - **MISRA_C2004**：这个标签指明了文档的主题是关于MISRA C:2004的标准。 #### 部分内容解读 文档的部分内容展示了MISRA C:2004标准的一些具体规则及其在LDRA工具套件中的实现情况。下面将详细解读这些规则： 1. **Rule 1.1** - **Required/Advisory**: Required - **LDRARule Number**: 293S - **MISRADescription**: 所有代码应遵循ISO9899:1990“编程语言-C”，并根据ISO/IEC9899/COR1:1995、ISO/IEC9899/AMD1:1995以及ISO/IEC9899/COR2:1996进行修正和补充。 - **LDRARuleDescription**: 确保所有使用的代码都符合ANSI C标准，不允许使用非ANSI构造。 2. **Rule 1.2** - **Required/Advisory**: Required - **LDRARule Number**: 412S - **MISRADescription**: 不应依赖于未定义或未指定的行为。 - **LDRARuleDescription**: 确保程序不依赖于未定义的行为，例如在遇到文件结束之前对文件指针进行`'\0'`比较。 3. **Rule 1.3** - **Required/Advisory**: Not statically analysable - **MISRADescription**: 当使用多个编译器和/或语言时，必须有一个共同定义的对象代码接口标准，所有的语言/编译器/汇编器都应遵循该标准。 - **LDRARuleDescription**: 同上。 4. **Rule 1.4 & Rule 5.1** - **Required/Advisory**: Required - **LDRARule Number**: 17D - **MISRADescription**: 应检查编译器/链接器是否支持外部标识符的31字符显著性和大小写敏感性。 - **LDRARuleDescription**: 确保所有外部标识符在前31个字符内是唯一的。 5. **Rule 1.5** - **Required/Advisory**: Advisory - **MISRADescription**: 浮点实现应符合定义的浮点标准。 - **LDRARuleDescription**: 推荐采用符合某种浮点标准的实现方式。 #### 总结 MISRA C:2004标准是一个广泛接受的规范，用于指导在关键安全系统中编写高质量、可维护且可靠的C语言代码。LDRA公司的文档详细介绍了这一标准的规则，并指出其工具套件如何支持这些规则的实施。通过遵守这些规则，开发人员可以提高软件的质量和安全性，减少潜在的风险。此外，虽然文档是英文版且缺少示例，但它仍然为那些希望确保其C语言代码遵循最佳实践的人提供了有价值的参考。