*cppcheck
cppcheck是一個(gè)靜態(tài)代碼檢查工具。基本上編譯器不檢查的問(wèn)題他都檢查,效果還是不錯(cuò)的。
cppcheck的最終目標(biāo)是沒(méi)有誤報(bào),任重道遠(yuǎn)啊。
先貼上我使用的命令
cppcheck.exe -v -s -f -a -I bo2 -I pg ^
項(xiàng)目若干... ^
2>check.log
經(jīng)過(guò)若干小時(shí)后,生成了26.8k的check.log。
屬于計(jì)算密集型任務(wù),耗時(shí)漫長(zhǎng),下次再檢查的時(shí)候,采用多進(jìn)程的方式。
1.過(guò)濾C-style pointer casting,得到nocasting.log-13k。
cppcheck不建議使用c類型的指針轉(zhuǎn)換,而是用static_cast之流。不過(guò)要打字太多,基本上沒(méi)人使用。
2.過(guò)濾The class 'xxxx' has no constructor,得到noconstructor.log-12.7k。
有些類是不必寫(xiě)構(gòu)造函數(shù)的啦。默認(rèn)的就可以了。
3.提取Member variable not initialized in the constructor,得到init.log-8k;不屬于該條目的其他內(nèi)容保存到noinit.log-4.6k。
成員變量未初始化偶爾是一個(gè)debug/release不一致的禍根,老大建議以后再改,不過(guò)這個(gè)量有點(diǎn)大啊。大家太疏忽了。
4.過(guò)濾The scope of the variable de can be limited和Redundant condition. It is safe to deallocate a NULL pointer,最后得到final.log-2k。
The scope of the variable de can be limited,cppcheck建議某個(gè)臨時(shí)變量的作用域可以進(jìn)一步縮小。
Redundant condition. It is safe to deallocate a NULL pointer,cppcheck認(rèn)為空指針可以直接delete。也不知哪里遺傳的壞毛病,非要if一下。不過(guò)我不是這樣的。
5.剩下的2k里面包含了19個(gè)錯(cuò)誤條目。
有5條指出某些父類沒(méi)有虛析構(gòu)函數(shù),不過(guò)那些父類沒(méi)有析構(gòu)函數(shù)也無(wú)關(guān)緊要。
內(nèi)存泄露有幾條,不過(guò)只有1條正確,其余的屬于誤報(bào)。
崩潰錯(cuò)誤一條,在循環(huán)內(nèi)erase(iterator)而沒(méi)有break。
其他違反最佳實(shí)踐的有幾條,可改可不改。
總的來(lái)說(shuō),cppcheck還是不錯(cuò)的,是一個(gè)不花什么力氣進(jìn)行簡(jiǎn)單代碼審核的工具。
posted on 2009-08-24 13:35
LOGOS 閱讀(17026)
評(píng)論(4) 編輯 收藏 引用