splint

讲授内容splint一.splint介绍splint是一个开源的静态代码检测工具,用于动态检查C语言程序安全弱点和编写错误的程序。

splint会进行多种常规检查，包括未使用的变量，类型不一致，使用未定义变量，无法执行的代码，忽略返回值，执行路径未返回，无限循环等错误。

它以大师级的眼光来审阅你的代码,Splint只能检测标准C代码。

'lint-clean' -- 程序能够顺利通过lint程序的检查。

这是微软的编码要求。

二.splint的安装（一）Linux环境下的安装1.rpm安装GTES 10.5和11版本已经整合有splint软件包，直接可以使用。

2.源代码安装下载地址:/downloads/splint-3.1.2.src.tgz源码包安装:# tar zxvf splint-3.1.2.src.tgz# cd splint-3.1.2# ./configure# make install（二）Windows环境下的安装1. 将软件解压到c:\。

2．设置用户变量：larch_path：安装splint的路径\liblclimprotdir：安装splint的路径\importsinclude：安装tc 的路径\includepath：安装splint的路径\bin3．注销当前用户后重新登陆，即可使用。

三.splint的用法在“开始”-“运行”中输入cmd，进入dos窗口，输入cd\，到C盘根目录，输入splint运行命令。

基本用法:splint *.cSplint输出Warnings的格式:<file>:<line>[,<column>]: message[hint]<file>:<line>,<column>: extra location information, if appropriate1.使用' +/-<flags>'来自定义其输出格式，如'splint -showcol *c'，则Splint不会在输出信息中显示'列'信息。

使用flags控制splint的检查范围和输出格式'+<flag>' -- 表明某个flag处于打开状态，如'+unixlib'；'-<flag>' -- 表明某个flag处于关闭状态，如'-weak'；2．使用.splintrc环境文件如果不想每次使用splint的时候都手工输入一堆'+/-<flags>'，那么你可以把这些'+/-<flags>'预先写到.splintrc文件中，当splint执行的时候它会自动加上这些flags 的。

默认的flags设置在'~/splintrc'文件中，但是如果一旦splint的当前工作路径下也有.splintrc文件，那么这个.splintrc文件中的flag设置会覆盖'~/splintrc'中的flags设置，但是命令行中的flags设置是具备最高优先级的，它会覆盖前面提到的任何一个文件中的flags设置。

3．使用Annotations：对于'Annotations'的作用，Java程序员并不陌生，但是C程序员则对这个不是那么了解。

C代码中的Annotations用来指导Splint生成恰当的代码检查报告。

下面这个例子对比使用和不使用Annotations，Splint的输出的差别：/* testlint.c */void foo1() {/*@unused@*/int *p = NULL;}void foo2() {int *p = NULL;}splint testlint.cSplint 3.1.1 --- 28 Apr 2003testlint.c: (in function foo2)testlint.c:6:7: Variable p declared but not usedA variable is declared but never used. Use /*@unused@*/ in front of declaration to suppress message. (Use -varuse to inhibit warning) Finished checking --- 1 code warning可以看出没使用Annotation的函数foo2被给出Warning了。

Splint的Annotations 繁多，我们在平时做lint时可以多多接触。

'早用lint，勤用lint'，这是C专家给我们的建议。

'lint-clean'也许离你并不遥远。

四.splint的使用1.空引用错误在引用没有指向任何内存地址的指针时，会导致这种错误，也就是使用了一个没有赋值的指针。

splint支持一种特别的注释，这种注释写在C程序代码中,用于对程序进行特殊说明。

如下面这段程序，使用了/*@null@*/进行了说明，表示说明*s的值可能会是NULL。

//null.cchar firstChar1 (/*@null@*/ char *s){return *s;}char firstChar2 (/*@null@*/ char *s){if (s ==NULL) return '\0';return *s;}//END使用splint扫描这个程序时，会输出:# splint null.cSplint 3.1.1 --- 28 Apr 2005null.c: (in function firstChar1)null.c:3:11: Dereference of possibly null pointer s: *snull.c:1:35: Storage s may become nullFinished checking --- 1 code warning found由于firstChar1和firstChar2都使用了null说明，表示指针s可能是个NULL值。

所以，splint会对s值的使用情况进行检查。

因为firstChar2函数中,对s的值进行了NULL的判断。

所以，没有对firstChar2函数的指针s输出警告信息。

2.未定义的变量错误C语言中，要求先定义变量，而后才可使用。

所以，当使用一个没有定义的变量时，编译就会出错。

如下例，使用/*@in@*/说明的变量，表示必须进行定义。

使用/*@out@*/说明的变量，表示在执行过此函数后，这个变量就进行了定义。

// usedef.cextern void setVal (/*@out@*/ int *x);extern int getVal (/*@in@*/ int *x);extern int mysteryVal (int *x);int dumbfunc (/*@out@*/ int *x, int i){if (i > 3) return *x;else if (i > 1)return getVal (x);else if (i == 0)return mysteryVal (x);else{setVal (x);return *x;}}// END使用splint检查usedef.c：$ splint usedef.cSplint 3.1.1 --- 28 Apr 2005usedef.c: (in function dumbfunc)usedef.c:7:19: Value *x used before definitionAn rvalue is used that may not be initialized to a value on some execution path. (Use -usedef to inhibit warning)usedef.c:9:18: Passed storage x not completely defined (*x is undefined): getVal (x)Storage derivable from a parameter, return value or global is not defined.Use /*@out@*/ to denote passed or returned storage which need not be defined.(Use -compdef to inhibit warning)usedef.c:11:22: Passed storage x not completely defined (*x is undefined): mysteryVal (x)Finished checking --- 3 code warnings//错误原因: 由于程序中没有对x进行定义，所以报未定义错误。

但setVal()使用了/*@out@*/说明，所以在setVal(x);和return x;中，没有报未定义错误。

3.类型错误C语言中的数据类型较多，各个之间有些细微差别。

splint也可以对变量类型进行检查。

示例1://bool.cint f (int i, char *s,bool b1, bool b2){if (i = 3) return b1;if (!i || s) return i;if (s) return 7;if (b1 == b2)return 3;return 2;}//END使用splint进行检查:$ splint bool.cSplint 3.1.1 --- 28 Apr 2005bool.c: (in function f)bool.c:4:5: Test expression for if is assignment expression: i = 3The condition test is an assignment expression. Probably, you mean to use == instead of =. If an assignment is intended, add an extra parentheses nesting (e.g., if ((a = b)) ...) to suppress this message. (Use -predassign to inhibit warning)// 错误原因: if语句中的条件表达式是一个赋值语句。