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

[历史归档]本文原发布于 cstriker1407.info 个人博客内容为历史存档仅供参考。发布时间2013-12-11 标题C语言代码检测splint的使用分类编程 / C C 标签CC·代码检测·splintC语言代码检测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按钮来检测了。很方便。