配置
1.splint的选项参数优先级排序:
命令行 > ./.splint > ~/.splintrc
2.”.splintrc”文件是splint扫描源文件时的配置选项文件,里面包含了进行那些项目的检查,显示那些信息,不显示那些信息,搜索路径等。
3.在“home/用户名”目录(~/)下使用Ctrl+h查看是否包含有”.splintrc”的文件。如果没有,使用搜索功能在安装目录下找“.splint”,会看到一个“splint.splintrc”的文件,把它拷贝过来,并重命名。
4.splint遵循的肯能是C89标准,所以,所有的程序必须在开头定义变量。否则,会得到一个错误信息:“parse error”,使得扫描不能继续下去。