软件测试-splint安装使用指南.pdfVIP

一、splint下载。

下载splint网址:

二、解压包安装：

注意：有些地方要使用sudo超级用户

1、解压缩和建立安装路径

#tar-zxvfsplint-3.1.2.linux.tgz

#sudomkdir/usr/local/splint(第一次使用SUDO会提示你输入密码，输入你的超级密码即

可)

#cdsplint-3.1.2

2、配置一下，后面的路径指明配置文件的安装的路径

#./configure--prefix=/usr/local/splint

notes:Ifpossibledonotbuiltsplintinadirectoryunder/usr/.Ifthetestsuiteisrunina

directoryunder/usr/forexample/usr/src/,itwillreporterrorsevenifSplintwasbuilt

correctly.

3、编译：

执行make命令（如果中途有出现yy什么未声明之类的，则sudoapt-getinstallflex，因为

要用到flex静态库）

4、安装

#makeinstall

三、配置

1、打开当前的bash资源文件

#vi~/.bashrc（这里可能也会需要sudo超级用户）

在文件中加入：

exportLARCH_PATH=/usr/local/splint/share/splint/lib

exportLCLIMPORTDIR=/usr/local/splint/share/splint/import

LARCH_PATH-pathtosearchforsplintlibrariesandinitializationsfiles.Ifyouareusing

thestandarddirectories,thisshouldbe.:base-directory/splint-3.1.2/lib.

LCLIMPORTDIR-directorycontaininglclimportsfiles.Ifyouareusingthestandard

directories,thisisbase-directory/splint-3.1.2/imports.

2、使能当前文件

#source~/.bashrc

3、配置环境变量

#exprotPATH=/usr/local/splint/bin:$PATH

或者重复1项目中的动作，打开～/.bashrc，将上面一句加入文件中，并使能。

编译不通过的解决办法

进入src目录，打开文件cscanner.c，在其后添加以下代码：

intyywrap()

{

return1;

}

splint的使用

1.空引用错误

在引用没有指向任何内存地址的指针时,会导致这种错误.也就是使用了一个没有赋值的指

针.

splint支持一种特别的注释.这种注释写在C程序代码中,用于对程序进行特殊说明.

如下面这段程序.使用了/*@null@*/进行了说明,表示说明*s的值可能会是NULL.

//null.c

charfirstChar1(/*@null@*/char*s)

{

return*s;

}

charfirstChar2(/*@null@*/char*s)

{

if(s==NULL)return\0;

return*s;

}

//END

使用splint扫描这个程序时,会输出:

#splintnull.c

Splint3.1.128Apr2005

null.c:(infunctionfirstChar1)

null.c:3:11:Dereferenceofpossiblynullpointers:*s

null.c:1:35:Storagesmaybecomenull

Finishedchecking1codewarningfound

由于firstChar1和firstChar2都使用了null说明,表示指针s可能是个NULL值.

所以,splint会对s值的使用情况进行检查.因为firstChar2函数中,对s的值进行

了NULL的判断.所以,没有对firstChar2函数的指针s输出警告信息.

2.未定义的变量错误

C语言中