Ubuntu中C代码静态检查工具Splint的安装配置和使用

1、
从http://www.splint.org/download.html下载splint-3.1.2.src.tgz，存放到/home/spring/Splint文件夹下；

2、
打开终端；

3、
解压缩：tar zxvfsplint-3.1.2.src.tgz

4、
安装到/usr/local/splint目录下：

sudo mkdir /usr/local/splint

cd splint-3.1.2

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

sudo apt-getinstall flex

make

sudo make install

5、
配置，打开当前的bash资源文件

vi ~/.bashrc

在文件最后加入：

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

exportLCLIMPORTDIR=/usr/local/splint/share/splint/imports

exportPATH=/usr/local/splint/bin:$PATH

退出文件

source~/.bashrc



测试：test.c

void fun()

{

int*p = NULL;

}

在终端输入 splint test.c

Splint 3.1.2 --- 25 Jan 2013



test.c: (in function fun)

test.c:3:7: Variable p declared but notused

Avariable is declared but never used. Use /*@unused@*/ in front of

declaration to suppress message. (Use -varuse to inhibit warning)



Finished checking --- 1 code warning





参考文献：

1、 http://www.splint.org/
2、 http://blog.csdn.net/sunjiajiang/article/details/7368684