作者yhn0tgb60 (呦厚厚)
看板C_and_CPP
標題[問題] 分析隱藏的錯誤的工具
時間Mon Feb 20 15:48:51 2017
我記得 很久以前 有看過一個同事用一個分析程式碼的工具
那個工具可以幫忙找 程式中可能會出問題的地方
而這些問題 並不是語法上的問題 compile找不出來
而是可能是邏輯上或是什麼問題 可能會造成錯誤
例如變數沒有給初始值
或是 for迴圈的數量超過 array
等等之類的東西
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 68.206.227.13
※ 文章網址: https://webptt.com/m.aspx?n=bbs/C_and_CPP/M.1487576934.A.EA5.html
1F:→ pc118925: 是在問 static analysis 工具嗎 ? 02/20 15:55
2F:→ wtchen: cppcheck? 02/20 16:53
3F:→ Caesar08: visual studio的code analysis? 02/20 17:56
4F:推 eye5002003: 連array的index算過頭都知道?這工具有點厲害啊 02/20 21:49
應該只有少數很明顯的錯誤 辨識的出來而已 其實我也不確定 很久以前的事了
5F:→ bluesoul: cppcheck, cppclean 02/21 00:39
※ 編輯: yhn0tgb60 (68.206.227.13), 02/21/2017 08:44:53
6F:推 b0920075: 很多靜態分析軟體都可以辦到吧 02/21 12:21
8F:推 CoNsTaR: 也正想推 clang 的 static analyzer XD 02/22 00:45