經(jīng)過數(shù)十年的開發(fā)，LDRA靜態(tài)代碼分析技術(shù)可以幫助嵌入式開發(fā)人員加快對MISRA C指南所有版本的合規(guī)

新加坡、馬來西亞吉隆坡和越南河內(nèi)市2023年3月14日 -- 以20多年來的MISRA C支持為依托，LDRA今天宣布在其LDRA工具套件的靜態(tài)代碼分析和報告功能中添加最新的MISRA C:2023指南。在MISRA C工作組主席兼LDRA技術(shù)專家Andrew Banks的指導(dǎo)下，LDRA的新功能為航空航天、國防、工業(yè)和能源、醫(yī)療設(shè)備和汽車行業(yè)的嵌入式開發(fā)人員提供支持，在日益復(fù)雜和難以測試的多線程、多處理器系統(tǒng)中識別潛在的危險代碼并減輕其危害。

LDRA's support for MISRA C:2023 is underpinned by their unparalleled in-house expertise

1998年推出的MISRA C是使用C編程語言開發(fā)軟件的標(biāo)準(zhǔn)，在軟件開發(fā)當(dāng)中，安全、保障和代碼質(zhì)量至關(guān)重要。在3月15日的嵌入式展覽會（Embedded World）上，MISRA C工作組將公布MISRA C:2012第4版（AMD4），其中規(guī)定了多線程和原子類型的規(guī)則和指令，并闡明現(xiàn)有指南，以便更好地契合當(dāng)今開發(fā)人員使用C語言的方式。工作組還將推出MISRA C:2023，將以前版本的指南合并為一個單一的綜合版本，以便于實現(xiàn)合規(guī)。

LDRA運(yùn)營總監(jiān)Ian Hennell表示："MISRA C指南推動了安全、穩(wěn)固且可靠代碼的開發(fā)；此版本的發(fā)布表明我們繼續(xù)致力于確保每個安全和安保關(guān)鍵型開發(fā)團(tuán)隊都能實現(xiàn)MISRA C:2023合規(guī)。除了在制定指南本身方面發(fā)揮重要作用，我們還努力確保我們的靜態(tài)分析工具具備相關(guān)能力，在多線程、多處理器系統(tǒng)中識別、報告和修復(fù)關(guān)鍵編碼缺陷。這些新的MISRA添加進(jìn)一步提升了該指南與眾多行業(yè)嵌入式產(chǎn)品開發(fā)人員的相關(guān)性。"

MISRA C的演變和LDRA靜態(tài)分析工具的作用

在LDRA技術(shù)專家Andrew Banks主席的領(lǐng)導(dǎo)下，MISRA C工作組多年來不斷發(fā)展指南，以適用于汽車以外的軟件，解決額外的安?？紤]因素，同時與最新版本的C標(biāo)準(zhǔn)保持一致，這包括通常稱為C11和C18的ISO/IEC 9899: 2011和2018中引入的多線程和原子類型方法。

MISRA C指南建議使用靜態(tài)分析工具來驗證代碼是否符合其規(guī)則和指令。LDRA工具套件支持所有版本的MISRA指南，并且：

• 采用靜態(tài)分析來識別不合規(guī)的代碼領(lǐng)域，以幫助記錄和修改。
• 包括廣泛的報告和圖形顯示，以根據(jù)MISRA準(zhǔn)則增強(qiáng)對源代碼的理解。
• 促進(jìn)結(jié)構(gòu)覆蓋分析，以確保開發(fā)人員能夠按照MISRA指南的建議測量和維持已測試代碼的數(shù)量。

Banks表示："采用靜態(tài)分析工具是對MISRA C合規(guī)性的一項寶貴投資。此類工具簡化了MISRA合規(guī)性工作，降低了新軟件的開發(fā)風(fēng)險，同時支持開發(fā)人員的MISRA C培訓(xùn)。這些工具為實現(xiàn)MISRA合規(guī)性提供了最佳選擇，這是所有嵌入式軟件認(rèn)證過程中不可或缺的組成部分。"

Banks與LDRA的同事、MISRA C++工作組主席Chris Tapp一起在MISRA C工作組工作。Banks補(bǔ)充道："此外，通過將最近的增強(qiáng)功能整合為單一來源，MISRA C:2023為與安全或安保相關(guān)的，或者說任何高集成度的軟件開發(fā)者提供了新的基準(zhǔn)指導(dǎo)。"

MISRA新白皮書和參觀嵌入式展覽會4-505展位

如需更多了解有關(guān)MISRA C倡導(dǎo)和部署合規(guī)工具框架的指南和戰(zhàn)略相關(guān)信息，開發(fā)人員可以下載LDRA的新白皮書《Get ahead with the MISRA C guidelines》。開發(fā)人員也可于3月14日至16日在德國紐倫堡2023年嵌入式展覽會上參觀LDRA展位（4-505）。歐洲中部夏令時間3月15日下午1點(diǎn)45分，Andrew Banks將在"MISRA形勢報告" 小組討論中介紹MISRA。