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)

你可能感兴趣的:(linux 下的PC-lint----splint)