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