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) |

给主人留下些什么吧!~~
评论热议

原文链接: https://www.cnblogs.com/ztguang/p/12647272.html

欢迎关注

微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍

    linux 下的PC-lint----splint

原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/231129

非原创文章文中已经注明原地址,如有侵权,联系删除

关注公众号【高性能架构探索】,第一时间获取最新文章

转载文章受原作者版权保护。转载请注明原作者出处!

(0)
上一篇 2023年2月13日 下午2:54
下一篇 2023年2月13日 下午2:55

相关推荐