unbuntu下splint的使用与配置
来源:互联网 发布:淘宝运营外包公司 编辑:程序博客网 时间:2024/05/18 09:09
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
- unbuntu下splint的使用与配置
- splint的安装与使用
- splint的学习与使用
- splint的使用
- 代码静态分析工具 - splint的学习与使用
- Samba的安装配置和使用 -- unbuntu
- unbuntu下vnc和vnc2swf的使用
- unbuntu 下使用qq
- 利用unbuntu在虚拟机下配置Linux与hadoop的环境
- splint使用
- splint使用
- splint使用
- unbuntu下配置java环境
- unbuntu下 配置vim 详解
- Unbuntu环境下配置Apache
- linux下的吹毛求疵检查器splint
- linux 下的PC-lint----splint
- 虚拟化技术学习(二) Unbuntu 下SPICE 的配置
- Webservice测试工具
- 算法的时间性能分析
- jquery-mobile制作的手机网站
- C指针动态内容分配
- Spring
- unbuntu下splint的使用与配置
- ios 内置付费 iap
- Oracle 行列转换
- 设置数据连接数
- Animation的基本概念和分类
- Win 2008布署Ajax找不到System.Web.Extensions.dll
- Quartz中时间表达式的设置-----corn表达式
- Android高仿QQ通讯录(附源码)
- 行为树(Behavior Tree)实践(2)– 进一步的讨论