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
分享到:
相关推荐
linux下c代码的检查工具splint的使用手册
里面文档详细的讲述了splint在win下和编译器的集合使用。同时讲解了结合source insight 结合使用的方法
splint软件包,静态检查C语言
splint 中文手册 静态代码分析
splint使用手册 splint使用手册 splint使用手册 splint使用手册
splint是进行程序静态检查的开源工具。这个文档首先对splint进行了简单介绍,然后详细介绍了splint指令的各个选项。
c 语言静态代码检测软件
splint的使用,包括splint Manual,lib等资源。
splint-3.1.1.win32.zip splint-3.1.1.win32.zip splint-3.1.1.win32.zip splint-3.1.1.win32.zip splint-3.1.1.win32.zip
Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding ...
splint用法简介.docx
夹板-注释辅助的静态程序检查器 夹板文档 有关Splint的文档,请参阅 。
有没有在未编译的时候就让机器帮你检查错误的工具呢?答案是:有!! splint工具.用一个最简单的HELLO WORLD来表述:===================================== 代码如下:/*错误很明显*/#include int main(void){ print(...
内存泄露问题一直是软件测试的重难点。因实际应用需要,网上找了几款工具,进行了试用和比较,在此把使用方法和使用效果记录下来,以方便后续应用:valgrind splint memwatch cppcheck Dmalloc gcc自带检测 ccmalloc
7种插值算法的c++代码实现,1 拉格朗日插值(POLINT) 2 有理函数插值(RATINT) 3 三次样条插值(SPLINE(二阶导数值)->SPLINT(函数值)) 4 有序表的检索法(LOCATE(二分法), HUNT(关联法)) 5 插值多项式(POLCOE(n2), ...
DEEEP是一种开源静态分析工具,用于在C程序中检测由于应用程序从ILP32到LP64的错误适应而导致的整数漏洞。 它使用Lint和Splint工具,并在Open Solaris和Linux操作系统上运行。 该工具从语义上分析源代码。 更准确地...
数值分析:插值法代码
什么nginx-lint 是用于 nginx(网络服务器)配置的 hlint/pylint/splint 类工具。 它会在您的 nginx 配置中查找常见问题来源并输出建议列表。用法nginxlint 是用 Haskell 编写的,因此它需要 GHC(或其他 Haskell ...
该项目试图集成Eclipse CDT C / C ++ IDE和Splint静态检查器。
1. 写了一个缓冲区溢出漏洞的.c 文件,使用splint进行漏洞查询 2. 写了一个含有格式化字符串漏洞的.c 文件,使用splint进行漏洞查询 1. 因为