Parasoft宣布支持MISRA C:2012 Amendment 2和MISRA Compliance 2020準則

Parasoft繼續(xù)領(lǐng)導(dǎo)執(zhí)行MISRA C:2012標準的最新規(guī)則集。

加利福尼亞州蒙羅維亞– 全球軟件測試自動化領(lǐng)域的領(lǐng)導(dǎo)者Parasoft宣布其對新發(fā)布的MISRA C:2012 Amendment 2的支持，該版本結(jié)合了對C語言標準ISO/IEC 9899:2011的支持，通常被稱為作為C11。C11取代了C99（標準ISO/IEC 9899:1999），并已被C18（標準ISO/IEC 9899:2018）取代。此外，MISRA C工作組還發(fā)布了《MISRA 2020合規(guī)性指南》，現(xiàn)在必須聲明該聲明符合該標準。Parasoft套件將指導(dǎo)用戶完成構(gòu)建準則執(zhí)行計劃（GEP）和準則重新分類計劃（GRP）的過程，并自動生成準則合規(guī)摘要（GCS）以及批準的偏差的完整列表。

要了解有關(guān)Parasoft對MISRA C:2012 Amendment 2的支持的更多信息，請訪問：http://www.xiangyinys.com/article/2020/06/02/36288.html

“C11和C18標準現(xiàn)已在業(yè)界廣泛采用，并取代了過時的C99。MISRA C2012修訂版2提供了初始準則，以限制和限制可能不安全和不安全的新語言構(gòu)造的使用?！盡iroslaw Zielinski說?！半S后的修訂有望解除這些限制，并為C11/C18中引入的擴展提供更具體的指南。Parasoft靜態(tài)分析工具已經(jīng)支持MISRA C2012修訂版2，并且將在將來可用時支持MISRA C2012標準的未來更新?！?/span>

Parasoft是MISRA C和C++工作組的成員，在提供安全性和安全性的同時，繼續(xù)為減少或消除編碼缺陷并避免不可預(yù)測的行為提供指導(dǎo)。在MISRA C2012修訂2中，用戶將發(fā)現(xiàn)適用于標準庫的新規(guī)則，該標準庫中的功能已被識別，由于引入的安全漏洞而不能使用。鑒于C語言易于產(chǎn)生大量的緩沖區(qū)溢出漏洞，因此對構(gòu)建嵌入式安全性和安全性至關(guān)重要的系統(tǒng)的組織進行安全性缺陷分析至關(guān)重要。

已將其他C11和C18代碼行為標識為發(fā)生未定義或未指定的動作。一些語言功能雖然定義明確，但卻無法滿足開發(fā)人員的期望。在代碼分析期間，這些代碼結(jié)構(gòu)將被標記為違規(guī)，并且對語言功能的任何使用都必須通過偏差進行衡量和支持。最后，MISRA工作組利用這次機會對標準進行了更新，將其提升到了一個全新的基準。

圖1：Parasoft C/C++test識別所有MISRA修訂2違反規(guī)則的情況