Parasoft宣布支持MISRA C:2012 Amendment 2和MISRA Compliance 2020准则

继续领导执行MISRA C:2012标准的最新规则集。

加利福尼亚州蒙罗维亚– 全球软件测试自动化领域的领导者宣布其对新发布的MISRA C:2012 Amendment 2的支持，该版本结合了对C语言标准ISO/IEC 9899:2011的支持，通常被称为作为C11。C11取代了C99（标准ISO/IEC 9899:1999），并已被C18（标准ISO/IEC 9899:2018）取代。此外，MISRA C工作组还发布了《MISRA 2020合规性指南》，现在必须声明该声明符合该标准。套件将指导用户完成构建准则执行计划（GEP）和准则重新分类计划（GRP）的过程，并自动生成准则合规摘要（GCS）以及批准的偏差的完整列表。

要了解有关对MISRA C:2012 Amendment 2的支持的更多信息，请访问：//pclwef.cn/article/2020/06/02/36288.html

“C11和C18标准现已在业界广泛采用，并取代了过时的C99。MISRA C2012修订版2提供了初始准则，以限制和限制可能不安全和不安全的新语言构造的使用。”Miroslaw Zielinski说。“随后的修订有望解除这些限制，并为C11/C18中引入的扩展提供更具体的指南。静态分析工具已经支持MISRA C2012修订版2，并且将在将来可用时支持MISRA C2012标准的未来更新。”

是MISRA C和C++工作组的成员，在提供安全性和安全性的同时，继续为减少或消除编码缺陷并避免不可预测的行为提供指导。在MISRA C2012修订2中，用户将发现适用于标准库的新规则，该标准库中的功能已被识别，由于引入的安全漏洞而不能使用。鉴于C语言易于产生大量的缓冲区溢出漏洞，因此对构建嵌入式安全性和安全性至关重要的系统的组织进行安全性缺陷分析至关重要。

已将其他C11和C18代码行为标识为发生未定义或未指定的动作。一些语言功能虽然定义明确，但却无法满足开发人员的期望。在代码分析期间，这些代码结构将被标记为违规，并且对语言功能的任何使用都必须通过偏差进行衡量和支持。最后，MISRA工作组利用这次机会对标准进行了更新，将其提升到了一个全新的基准。

图1：Parasoft C/C++test识别所有MISRA修订2违反规则的情况