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