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

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