免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 5023 | 回复: 4
打印 上一主题 下一主题

[C] 在linux上大家都使用哪些C语言的代码静态/动态分析工具呢? [复制链接]

论坛徽章:
0
跳转到指定楼层
1 [收藏(0)] [报告]
发表于 2007-06-20 16:18 |只看该作者 |倒序浏览
rt

另:
有人了解是否有开源的MISRA-C:2004规则检查工具嘛?我找了半天全是专用且收费的。

论坛徽章:
0
2 [报告]
发表于 2007-06-20 21:45 |只看该作者
这个问题问的让人抓狂啊~

论坛徽章:
0
3 [报告]
发表于 2007-06-21 07:22 |只看该作者
c 的话可以用splint ,不过功能太弱了

论坛徽章:
0
4 [报告]
发表于 2007-06-22 08:59 |只看该作者

回复 2楼 softsongs 的帖子

softsongs:
     我就是想了解一下大家都在用哪些代码检查工具。我以前没用过这类东西,今天看到PolySpace的介绍,感觉很好(可惜收费),所以想问问大家都在用什么。
antonym55:
     谢谢你,我下载一个正在用。

论坛徽章:
0
5 [报告]
发表于 2007-06-22 09:22 |只看该作者
valgrind算一个吧?
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

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

清除 Cookies - ChinaUnix - Archiver - WAP - TOP