unbuntu下splint的使用与配置

本文主要是介绍unbuntu下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

这篇关于unbuntu下splint的使用与配置的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---