作者yhn0tgb60 (呦厚厚)
看板C_and_CPP
标题[问题] 分析隐藏的错误的工具
时间Mon Feb 20 15:48:51 2017
我记得 很久以前 有看过一个同事用一个分析程式码的工具
那个工具可以帮忙找 程式中可能会出问题的地方
而这些问题 并不是语法上的问题 compile找不出来
而是可能是逻辑上或是什麽问题 可能会造成错误
例如变数没有给初始值
或是 for回圈的数量超过 array
等等之类的东西
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 68.206.227.13
※ 文章网址: https://webptt.com/cn.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