[历史归档]本文原发布于 cstriker1407.info 个人博客,内容为历史存档,仅供参考。
发布时间:2013-12-11| 标题:C语言代码检测:splint的使用|分类:编程 / C && C++ |标签:C&&C++·代码检测·splint
C语言代码检测:splint的使用
- 官方地址:
- splint的下载和编译:
- splint gui工具的下载和使用:
splint是一个轻量的C代码静态检查工具,这里备份下它的使用方法:
官方地址:
【 http://www.splint.org/ 】
splint的下载和编译:
splint的下载和编译也很简单,直接按照官方的步骤就可以了:
tarxzf splint-3.1.2.src.tgzcdsplint-3.1.2 ./configuremakesudomakeinstall编译完成之后,可以在命令行输入【 splint 】,会有如下打印:
如果没有的话,就需要按照安装指导,设置环境变量。
另外,在【 splint-3.1.2/doc 】文件夹下面可以看到有个manual.pdf,里面内容非常全面。可以仔细参考。
splint gui工具的下载和使用:
gui工具使用也很简单,访问地址【 http://crissi.linux-administrator.com/linux/splintgui/index_en.html 】下载压缩包,解压。
使用命令:
python splint_gui.py就可以了。运行如下图:
有了GUI工具,splint使用起来就很方便了。
- 在check选项卡里选择需要检查的文件,
- 在Options选择需要的flag,这里可以使用 -I 命令来进行头文件目录的包含。如下图:
选择好之后,就可以使用check选项卡里面的check按钮来检测了。很方便。