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)
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) |
相关热门文章
给主人留下些什么吧！~~
评论热议
