在嵌入式系統(tǒng)和高可靠性軟件開發(fā)中,靜態(tài)代碼分析已成為預(yù)防缺陷的關(guān)鍵手段。PC-Lint(現(xiàn)更名為Gimpel Lint)作為行業(yè)領(lǐng)先的C/C++靜態(tài)分析工具,能夠檢測出編譯器難以發(fā)現(xiàn)的隱式錯誤和編碼規(guī)范違規(guī)。本文通過實戰(zhàn)配置案例,揭示如何通過精細(xì)化配置PC-Lint實現(xiàn)代碼質(zhì)量閉環(huán)管控,在某航天控制器項目中成功將缺陷密度降低72%。
大家平時調(diào)試程序的時候會遇到一些異?,F(xiàn)象,花了大量的時間Debug發(fā)現(xiàn)是訪問越界,變量未初始化等寫代碼時大意造成的。
keil MDK版本:V4.03PC-lint版本: V8.0關(guān)于pc-lint的強大作用,網(wǎng)上有很多,這里不想再復(fù)述,只說一句:能通過pc-lint檢驗的程序不一定沒有問題,但通過了pc-lint檢驗的程序,質(zhì)量的提高也是不言而喻的。首先安裝ke