NaiveSystems Analyze 2022.1：深度支持MISRA C:2012静态检查

"NaiveSystems Analyze 2022.1 技术规格中文版" NaiveSystems Analyze是一款针对C语言的静态分析工具，它专注于提高代码质量和安全性，特别是对于那些遵循MISRA C:2012标准的项目。MISRA C:2012是汽车行业的软件开发标准，旨在减少由于编程错误导致的安全隐患。这个标准由MISRA（汽车工业软件可靠性联盟）制定，并在2019年发布了包含AMD1和TC1修订的第三版，之后在2020年通过AMD2增加了对ISO/IEC 9899:2011（即C11标准）的支持。 NaiveSystems Analyze支持MISRA C:2012的大多数规则，包括AMD1和AMD2中的新增内容。然而，值得注意的是，有6条规则不完全适用于静态检查，这些规则包括Dir1.1、Dir2.1、Dir3.1、Dir4.1、Dir4.2和Rule1.1。这些规则主要涉及程序的实现依赖、编译错误、需求文档对应、运行时错误的预防、汇编语言的使用记录、封装与隔离、代码注释、标识符布局、类型定义的使用、错误处理、结构体和联合体的隐藏以及函数和宏的优先选择等。 以下是MISRA C:2012规则的支持情况概览： - 强制（Mandatory）规则：全部16条均得到支持，覆盖率为100%。 - 要求（Required）规则：23条中有20条得到支持，覆盖率为91%。 - 建议（Advisory）规则：39条中有21条得到支持，覆盖率为54%。 整体而言，NaiveSystems Analyze对MISRA C:2012的175条规则中提供了广泛的支持，总支持率为90%。这表明该工具能够帮助开发者在编写和维护代码时遵循行业最佳实践，确保代码质量并降低潜在的安全风险。对于那些无法通过静态检查的规则，开发者需要结合其他方法来满足这些标准，例如手动审查和动态测试。