linux 下的PC-lint----splint

http://blog.chinaunix.net/uid-20621895-id-196644.html

PC-lint不言而喻，是win32下强大的（c/c++）代码静态检查工具，但是它只有商业版本，而且只能在windows下操作。
对于在Linux下开发程序而言，Splint则可以具有PC-lint的大部分功能（遗憾的是splint只支持C语言，不支持C++）。

splint的获取：http://www.splint.org，可以直接获取二进制版本进行安装，splint-3.1.1.Linux.tgz 。

安装：解压之后，参考解压文件中的install.html进行安装。

使用指南：http://www.splint.org/manual/manual.html

splint相关wiki文章：http://en.wikipedia.org/wiki/Splint_(programming_tool)

<script>window._bd_share_config={"common":{"bdSnsKey":{},"bdText":"","bdMini":"2","bdMiniList":false,"bdPic":"","bdStyle":"0","bdSize":"16"},"share":{}};with(document)0[(getElementsByTagName('head')[0]||body).appendChild(createElement('script')).src='http://bdimg.share.baidu.com/static/api/js/share.js?v=89860593.js?cdnversion='+~(-new Date()/36e5)];</script>

阅读(1515) | 评论(0) | 转发(1) |

0

上一篇：centos 6 挂载 NTFS 分区

下一篇：Linux测试软件：从源代码开始

相关热门文章

• test123
• 编写安全代码——小心有符号数...
• 使用openssl api进行加密解密...
• 一段自己打印自己的c程序...
• sql relay的c++接口

• linux dhcp peizhi roc
• 关于Unix文件的软链接
• 求教这个命令什么意思，我是新...
• sed -e "/grep/d" 是什么意思...
• 谁能够帮我解决LINUX 2.6 10...

给主人留下些什么吧！~~

评论热议