-
PC-Lint靜態(tài)分析工具配置：消除潛在Bug的代碼規(guī)范檢查策略
在嵌入式系統(tǒng)和高可靠性軟件開發(fā)中，靜態(tài)代碼分析已成為預(yù)防缺陷的關(guān)鍵手段。PC-Lint（現(xiàn)更名為Gimpel Lint）作為行業(yè)領(lǐng)先的C/C++靜態(tài)分析工具，能夠檢測(cè)出編譯器難以發(fā)現(xiàn)的隱式錯(cuò)誤和編碼規(guī)范違規(guī)。本文通過實(shí)戰(zhàn)配置案例，揭示如何通過精細(xì)化配置PC-Lint實(shí)現(xiàn)代碼質(zhì)量閉環(huán)管控，在某航天控制器項(xiàng)目中成功將缺陷密度降低72%。
-
IAR推出新版IAR Embedded Workbench for Arm功能安全版，該版本配備經(jīng)過認(rèn)證的靜態(tài)代碼分析功能
瑞典烏普薩拉，2024年2月20日 – 全球領(lǐng)先的嵌入式系統(tǒng)開發(fā)軟件解決方案供應(yīng)商IAR宣布：推出其旗艦產(chǎn)品IAR Embedded Workbench for Arm功能安全版的最新版本9.50.3。此次發(fā)布進(jìn)一步加強(qiáng)了IAR支持開發(fā)人員創(chuàng)建安全、可靠和符合標(biāo)準(zhǔn)的嵌入式應(yīng)用程序的承諾，涵蓋了汽車、醫(yī)療設(shè)備、工業(yè)自動(dòng)化和消費(fèi)電子等多個(gè)行業(yè)。該版本中最重要的新功能是經(jīng)過認(rèn)證的C-STAT，這是專為安全關(guān)鍵應(yīng)用程序設(shè)計(jì)的靜態(tài)代碼分析工具。
-
充分應(yīng)用功能安全性開發(fā)環(huán)境中集成的代碼分析工具
目前，越來越多的汽車、工業(yè)和其他應(yīng)用都在強(qiáng)調(diào)功能安全性（functional safety），其開發(fā)過程也需要先進(jìn)和完善的工具鏈支持，以及一些重要的開發(fā)工具使用經(jīng)驗(yàn)。作為功能安全性產(chǎn)品的研發(fā)工程師，一定聽說過類似MISRA C的靜態(tài)代碼檢查，以及其他一些代碼標(biāo)準(zhǔn)和自動(dòng)化檢查工具。但是，在日常的開發(fā)流程中，僅僅知道這些標(biāo)準(zhǔn)并不代表著能夠高效地讓代碼符合代碼標(biāo)準(zhǔn)。
