一、splint下载。
下载splint网址:http://www.splint.org/downloads/splint-3.1.2.src.tgz
二、解压包 安装：
注意：有些地方要使用sudo超级用户
1、解压缩和建立安装路径
# tar -zxvf splint-3.1.2.linux.tgz
# sudo mkdir /usr/local/splint(第一次使用SUDO会提示你输入密码，输入你的超级密码即可)
# cd splint-3.1.2
2、配置一下，后面的路径指明配置文件的安装的路径
# ./configure –prefix=/usr/local/splint
notes:If possible do not built splint in a directory under /usr/. If the test suite is run in a directory under /usr/ for example /usr/src/, it will report errors even if Splint was built correctly.
3、编译：
执行make命令（如果中途有出现yy什么未声明之类的，则sudo apt-get install flex，因为要用到flex静态库）
4、安装
# make install
三、配置
1、打开当前的bash资源文件
#vi ~/.bashrc（这里可能也会需要sudo超级用户）
在文件中加入：
export LARCH_PATH= /usr/local/splint/share/splint/lib
export LCLIMPORTDIR = /usr/local/splint/share/splint/import
LARCH_PATH – path to search for splint libraries and initializations files. If you are using the standard directories, this should be .:base-directory/splint-3.1.2/lib.
LCLIMPORTDIR – directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.1.2/imports.
2、使能当前文件
#source ~/.bashrc
3、配置环境变量
# exprot PATH=/usr/local/splint/bin:$PATH
或者重复1项目中的动作，打开～/.bashrc，将上面一句加入文件中，并使能。
编译不通过的解决办法
进入src目录，打开文件cscanner.c，在其后添加以下代码：
int yywrap()
{
return 1;
}
splint的使用
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/209595.html原文链接：https://javaforall.net
