免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
12下一页
最近访问板块 发新帖
查看: 11696 | 回复: 12

clang static analyzer,fuck bug的利器! [复制链接]

论坛徽章:
0
发表于 2010-04-29 15:39 |显示全部楼层
get and build不用我说了吧
clang --analyze a.c
然后warning就来了,-Wall都发现不了的warning啊!

论坛徽章:
89
水瓶座
日期:2014-04-01 08:53:31天蝎座
日期:2014-04-01 08:53:53天秤座
日期:2014-04-01 08:54:02射手座
日期:2014-04-01 08:54:15子鼠
日期:2014-04-01 08:55:35辰龙
日期:2014-04-01 08:56:36未羊
日期:2014-04-01 08:56:27戌狗
日期:2014-04-01 08:56:13亥猪
日期:2014-04-01 08:56:02亥猪
日期:2014-04-08 08:38:58程序设计版块每日发帖之星
日期:2016-01-05 06:20:00程序设计版块每日发帖之星
日期:2016-01-07 06:20:00
发表于 2010-04-29 16:28 |显示全部楼层
clang

论坛徽章:
2
摩羯座
日期:2013-10-10 14:29:04天蝎座
日期:2014-01-03 09:14:49
发表于 2010-04-29 17:27 |显示全部楼层
有很多的warning

论坛徽章:
0
发表于 2010-05-15 23:35 |显示全部楼层
clang --analyze a.c

论坛徽章:
2
摩羯座
日期:2013-10-10 14:29:04天蝎座
日期:2014-01-03 09:14:49
发表于 2010-05-16 16:06 |显示全部楼层
有些warning还是可以忽略的

论坛徽章:
0
发表于 2010-05-16 16:09 |显示全部楼层
是可以忽略,但是可以忽略的基本上都是语法上不建议那么写的写法。
后面单独开了KLEE这个项目,代码覆盖率高到98%,比Xuzhongxing这个可能好一些。

论坛徽章:
0
发表于 2010-05-17 00:03 |显示全部楼层
clang 不错,prolj 介绍的真是好工具啊

论坛徽章:
0
发表于 2010-08-18 16:51 |显示全部楼层
klee.llvm.org

论坛徽章:
0
发表于 2010-08-24 09:26 |显示全部楼层
提示: 作者被禁止或删除 内容自动屏蔽

论坛徽章:
0
发表于 2010-08-30 00:57 |显示全部楼层
我对一个遍地都是 Segment Fault 的代码 clang --analyse 了
结果一个提示也没输出……
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP