好记性不如铅笔头

C && C++, 编程

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

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

CONTENTS

官方地址:

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按钮来检测了。很方便。

发表评论

20 − 16 =

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据