C语言代码检测：splint的使用

splint是一个轻量的C代码静态检查工具，这里备份下它的使用方法：

官方地址：

【 http://www.splint.org/ 】

splint的下载和编译：

splint的下载和编译也很简单，直接按照官方的步骤就可以了：

tar xzf splint-3.1.2.src.tgz
cd splint-3.1.2
./configure
make
sudo make install

编译完成之后，可以在命令行输入【 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按钮来检测了。很方便。