Linux-Splint-使用简介PPT课件

1、1,Linux Splint 使用简介,GDLC 2012.02.09,2,安装,Download 到splint的官方网站下载最新的源代码, 解压缩源代码. #tar xzf splint-xxx-tar.gz Build & Install 去到解压缩后的源代码目录中,执行 #./configure -prefix=/usr/local/splint #make #make install Modify env # vi /.bashrc 添加: export LARCH_PATH=/usr/local/splint/share/splint/libexport LCLIMPORTDIR=

2、/usr/local/splint/share/splint/import,3,检测范围,4,null dereferences 例子,5,undefined values 例子,6,Type类型检查例子,7,memory management 例子,8,memory management 例子,9,memory boundary 例子,10,splint 批注相关功能 More powerful checks are made possible by additional information given in source code annotations. Annotations ar

3、e stylized comments that document assumptions about functions, variables, parameters and types. In addition to the checks specifically enabled by annotations, many of the traditional lint checks are improved by exploiting this additional information. 通过批注可以模拟C+的某些访问特性控制，也能加强对程序执行路径的管理。 目前不建议在我们工程中应用

4、，因为需要修改源代码,11,splint 的LCL规范 splint程序依据LCL语言写的规范模板，去解释分析C语言程序。 splint安装后，就默认有很多的LCL模板，多数的检查都使用默认的模板，没有定制添加新的模板,12,splint 使用 #splint -I$header_path +trytorecover -D_signed_=char -mustdefine -unrecog -paramuse +gnu-extensions +posixlib +never-include -nullpass -I 包含目录 -D定义一些系统不认得的关键字 以下flag如果被使用，前面的+表示检查，-表示不检查。 mustdefined使用前必须定义 unrecog 不认得的标识符 paramuse 定义了变量需要使用 gnu-extenti