【2013-12-11】C语言代码检测：splint的使用

[历史归档]本文原发布于 cstriker1407.info 个人博客，内容为历史存档，仅供参考。
发布时间：2013-12-11｜ 标题：C语言代码检测：splint的使用｜分类：编程 / C && C++ ｜标签：C&&C++·代码检测·splint

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使用起来就很方便了。

1. 在check选项卡里选择需要检查的文件，
2. 在Options选择需要的flag，这里可以使用 -I 命令来进行头文件目录的包含。如下图：

选择好之后，就可以使用check选项卡里面的check按钮来检测了。很方便。