图1：Parasoft C++test 可以检测出所有不遵循MISRA C:2012（修订版2）规则的违规

Parasoft已经全面支持MISRA C 2012（修订版2）和MISRA 2020合规指南

位于MONROVIA，全球自动化测试软件的领导者Parasoft在2020年3月30日宣布已全面支持MISRC C的最新编码标准MISRA C 2012（修订版2），该版本包含了对C语言标准C11(ISO/IEC 9899:2011)的支持。C11和C18 (ISO/IEC 989:2018标准)取代了C99 (ISO/IEC 989:1999标准)。另外，MISRA发布了MISRA 2020合规指南，并强制要求遵循该标准。Parasoft指导用户完成制定指导方针实施计划（GEP）和指导方针重新分类计划（GRP），并自动生成指导方针合规性总结（GCS）。

Miroslaw Zielinski说:“C11和C18标准现已被业界广泛采用，并取代了过时的C99。MISRA C2012（修订版2）提供了限制使用可能造成功能安全和信息安全风险的新语言结构的初步指导方针。预计随后的修订将解除这些限制，并为C11 / C18中引入的扩展提供更具体的指南。Parasoft静态分析工具已经支持MISRA C2012（修订版2），并且也将会支持MISRA C2012标准的未来更新版本。”

Parasoft是MISRA委员会成员，在提供安全性的同时，为减少或消除因编码缺陷而造成不可预测的故障提供指导。在MISRA C2012（修订版2）中，用户会发现适用于标准库的新规则，该标准库中的函数已被识别，但由于引入了安全漏洞，不应被使用。鉴于C语言容易出现大量的缓冲区溢出漏洞，因此，对构建嵌入式安全和安全关键系统的组织进行安全漏洞分析是至关重要的。

MISRA C 2012修订前，C11和C18代码会被确定为未定义。有些语言特性虽然定义良好，但不能满足开发人员的期望。在代码分析期间，这些代码将被标记为违规，并且任何对语言特性的使用都必须通过偏差来度量和支持。因此，MISRA利用这个机会对标准进行了更新，将其提升到一个全新的标准。