20多年來，LDRA的MISRA C提供支持，推動汽車、航空航天、醫療、國防和其他關鍵應用的風險降低舉措。 

英國利物浦(pu)2023年2月3日 /美通社/ -- 作(zuo)(zuo)為工(gong)(gong)程機(ji)構和(he)軟件從業者編寫安全可靠代碼的領(ling)先指南，MISRA C于本(ben)月迎來了其創建25周年。作(zuo)(zuo)為MISRA C Working Group的關(guan)鍵貢獻者，LDRA在(zai)標準遵從、自動化軟件驗證、靜態代碼分析和(he)測(ce)試工(gong)(gong)具(ju)方面的專業知識(shi)使相關(guan)標準能夠(gou)更好地適(shi)應現代C語言(yan)和(he)開發(fa)實(shi)踐。

LDRA運(yun)營總(zong)監Ian Hennell表示(shi)："從(cong)汽車軟件(jian)到(dao)(dao)醫療設備(bei)，處于(yu)任何成熟階段的(de)制(zhi)造商都依賴MISRA C來指導、評估和認證其安(an)全(quan)(quan)和安(an)全(quan)(quan)關(guan)鍵產品。MISRA長期致(zhi)力于(yu)通(tong)過(guo)不斷參與(yu)MISRA C工作(zuo)組(zu)并同(tong)時(shi)開發行業領先的(de)產品來支持(chi)制(zhi)造商的(de)認證活(huo)動(dong)，減少和消除軟件(jian)安(an)全(quan)(quan)應用(yong)中的(de)風險，這(zhe)一點得到(dao)(dao)了(le)LDRA的(de)認可。"

MISRA與制造商(shang)、組件供(gong)應(ying)商(shang)和工程(cheng)咨詢公司合作，于1998發布了(le)第一份C編程(cheng)語言指(zhi)南，以幫助嵌入式軟件開發人員降低可能導(dao)(dao)致(zhi)不良行為(wei)或危(wei)險(xian)行為(wei)的編碼(ma)風險(xian)。這(zhe)套(tao)標(biao)準化方案擬訂語言的限(xian)制性子集(ji)為(wei)數十年(nian)的發展和遵約(yue)活(huo)動奠定了(le)基(ji)礎，包括兩個后(hou)續版本、四項(xiang)修(xiu)訂和多個指(zhi)導(dao)(dao)文(wen)檔。

LDRA技術(shu)專家兼MISRA C Working Group主席(xi)Andrew Banks表(biao)示："25年來，MISRA C已成為幫助(zhu)開發(fa)人員防止(zhi)嚴重(zhong)問題(ti)在(zai)(zai)其代碼中突然出現的寶貴資源，使他們(men)能夠減少(shao)未定(ding)義(yi)和(he)未指(zhi)定(ding)行為的發(fa)生。MISRA繼(ji)續(xu)幫助(zhu)無數系統和(he)產品團隊(dui)在(zai)(zai)日益活躍和(he)復雜的軟件環(huan)境中最大(da)限度地降低(di)安(an)防風險。"

LDRA產(chan)品(pin)是制(zhi)造(zao)商開(kai)發環境(jing)的(de)關鍵(jian)組成部分，支持(chi)關鍵(jian)編碼缺(que)陷的(de)識別、報告和(he)修正。這些缺(que)陷通(tong)常(chang)很難或不可能通(tong)過人(ren)工方法檢測到，而使用LDRA靜態代碼分析(xi)工具(ju)將其(qi)最小化(hua)，包括。