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的支持的更多信息，請訪問：//fc6vip.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違反規則的情況