[問題] 分析隱藏的錯誤的工具

[yhn0tgb60 (呦厚厚)]

我記得 很久以前 有看過一個同事用一個分析程式碼的工具

那個工具可以幫忙找 程式中可能會出問題的地方

而這些問題 並不是語法上的問題 compile找不出來

而是可能是邏輯上或是什麼問題 可能會造成錯誤

例如變數沒有給初始值

或是 for迴圈的數量超過 array

等等之類的東西

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 68.206.227.13
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1487576934.A.EA5.html
→ pc118925: 是在問 static analysis 工具嗎 ?
→ wtchen: cppcheck?
→ Caesar08: visual studio的code analysis？
推 eye5002003: 連array的index算過頭都知道?這工具有點厲害啊
應該只有少數很明顯的錯誤 辨識的出來而已  其實我也不確定  很久以前的事了

→ bluesoul: cppcheck, cppclean
※ 編輯: yhn0tgb60 (68.206.227.13), 02/21/2017 08:44:53
推 b0920075: 很多靜態分析軟體都可以辦到吧
推 akasan: https://clang-analyzer.llvm.org
推 CoNsTaR: 也正想推 clang 的 static analyzer XD