splint的使用

配置

1.splint的选项参数优先级排序：

命令行 > ./.splint > ~/.splintrc

2.”.splintrc”文件是splint扫描源文件时的配置选项文件，里面包含了进行那些项目的检查，显示那些信息，不显示那些信息，搜索路径等。

3.在“home/用户名”目录（~/）下使用Ctrl+h查看是否包含有”.splintrc”的文件。如果没有，使用搜索功能在安装目录下找“.splint”，会看到一个“splint.splintrc”的文件，把它拷贝过来，并重命名。

4.splint遵循的肯能是C89标准，所以，所有的程序必须在开头定义变量。否则，会得到一个错误信息：“parse error”，使得扫描不能继续下去。