LINT 工具是一种软件质量保证工具,许多国外的大型专业软件公司,如微软公司,都把它作为程序检查工具,在程序合入正式版本或交付测试之前一定要保证通过了LINT检查,他们要求软件工程师在使用LINT时要打开所有的编译开关,如果一定要关闭某些开关,那么要给出关闭这些开关的正当理由。
可想而知,如果从我们编码后第一次编译程序时就使用LINT来检查程序,并且保证消除所有的LINT告警,我们就不会遇到像今天这么多的告警信息。即使在今天,我们如果能抽出一定的精力来消除程序中的LINT告警,以后再维持这种无告警状态就是很容易的了。我们程序质量的提高也是不言而喻的。
PC-LINT是GIMPEL SOFTWARE公司的产品,其中的内容是非常广泛的,光是选项就有300多个,涉及到程序编译及语法使用中的方方面面。本篇培训材料旨在引导读者入门,学会PC-LINT的基本使用方法,起抛砖引玉的作用,能让读者从这里起步继续去研究如何娴熟地使用PC-LINT的 各种选项,能让它充分为我们的开发工作服务。
1. 概述
如果要给LINT工具下一个形象点的定义,那就是:一种更加严格的编译器。它不仅可以像普通编译器那样检查出一般的语法错误,还可以检查出那些虽然完全合乎语法要求,但很可能是潜在的、不易发现的错误。请看下面的例子:
char *report( int m, int n, char *p )
{
int result;
char *temp;
long nm;
int i, k, kk;
char name[11] = "Joe Jakeson";
nm = n * m;
temp = p == "" ? "null" : p;
for( i = 0; i 13: {
k++;
kk = i;
}
if( k== 1 ) result = nm;
else if( kk > 0 ) result = 1;
else if( kk < 0 ) result = -1;
if( m == result ) return( temp );
else return( name );
}
上面的代码用一般的编译器编译是一段有效的代码,但是用PC-LINT编译就会有几个告警。首先第8行向name数组赋值时丢掉了nul字符,第10行 的乘法精度会失准,第11行的比较有问题,第14行的变量k没有初始化,第15行的kk可能没有被初始化,第22行的result也有可能没有被初始化, 第23行返回的是一个局部对象的地址。这段代码在大部分编译器下是可以顺利编译通过的,继续查找其中的错误就要靠人工调试程序,如果程序很大,这将是一项 烦琐的工作,没有人可以保证能找出所有的这类问题,但PC-LINT只通过一次简单的编译就可做到,显然为我们节省了大量的开发时间。
下面就让我们看看如何安装使用PC-LINT。
2.如何安装PC-LINT
<略>
3.LINT 一个C文件
3.1用命令行方式进行LINT
如果使用LIN.BAT批处理文件进行LINT,在LINT前要先看一下该批处理文件中的内容,里面包含了LINT-NT命令和命令选项,可以根据自己的要求来修改、增减选项。我们看到,在这个批命令中嵌套了一个std.lnt文件,在std.lnt文件中还嵌套了co.lnt、options.lnt和 lib-stl.lnt文件,原则上*.lnt文件是可以无限制嵌套,该类文件中一般都是了LINT的选项,可通过修改这些文件来修改LINT选项,选项是按照从左到右的顺序执行的。可执行下面命令行:
C:/abc/src>lin alpha.c beta.c gamma.c
通常对于由多个C模块组成的程序,最好先分别对每个C模块单元进行LINT检查,做单元LINT时可如下运行:
C:/abs/src>lin -u alpha.c
其中-u是单元选项,使用-u后可以关闭一些检查多模块时会产生的告警,例如“函数未被使用”或“函数没有定义”等。
也可以不使用LIN.BAT批处理文件,而直接使用LINT命令。在DOS环境下LINT命令为LINT.EXE,在Windows95/NT环境下为LINT-NT.EXE,在OS2环境下为LINT-OS2.EXE。直接使用LINT命令要注意的一点是要在使用前预先设置LINT目录所在路径,最好的方法是把该路径加在AUTOEXEC.BAT文件中。其它的使用方法与使用批处理文件相同。例如:
C:/abs/src>lint-nt -ic:/lint/ std.lnt -os(_lint.tmp) *.c
3.2用开发环境进行LINT
也可以使用开发环境来执行LINT操作,一般开发环境都支持运行可执行文件,但不一定支持运行批处理文件,下面用Source Insight , Ultra Edit, MSVC6.0 来举例说明如何在开发环境下进行LINT。
3.2.1 在Source Insight中集成
如果你在安装过程中选定了使用某个开发环境,安装程序会在你安装的目录下生成一个env-xxx.lnt的文件,例如选择了Source Insight就会有一个env-si.lnt文件。用编辑器打开该文件,在该文件开始的注释中说明了如何将PC-LINT功能集成在开发环境中,集成在 Source Insight中的过程如下:
1) 从Options菜单中选择“Custom Commands”命令项。
2) 在Name栏中输入“PC-lint ”,原则上这个名称可以随便起,只要你能搞清楚它的含义就可以了。
3) 在Run栏中输入“c:/lint/lint-nt -u -ic:/lint std env-si %f”其中c:/lint是你PC-LINT的安装目录。
4) 在Output栏中选择“Iconic Window”、“Capture Output”。
5) 在Control栏中选择“Save Files First”。
6) 在Source Links in Output栏中选择“Parse Links in Output”、“File,then Line”。
7) 在Pattern栏中输入“^/([^ ]*/) /([0-9]+/)”。
8) 点Add键加入该命令。
9) 使用时,在Source Insight下打开要LINT的文件,打开Options菜单中的“Custom Commands”命令项,在“Command”栏中选择“PC-lint unit check”命令运行即可。
注意到我的Run一栏的参数和上面的提示不一样,其实我的其他古怪参数都放到c:/lint/std.lnt中了。请注意,不论你怎样配置参数一定不要忘记了将si-env.lnt包含在你的配置文件里,否则就无法进行错误信息和程序的自动对应了。
为了使用方便,你还可以配置一下Menu按钮,将它加到系统菜单里,这属于一般性的Source Insight应用,笔者就不在此赘述了。
笔者在NT中使用Source Insight时,好象集成不了,原因暂时不明了。上面的例子在WIN 95下测试成功。
如果要修改LINT选项,可直接在Run栏中修改,也可专门编辑一个*.lnt文件放在c:/lint目录下,并将该文件名加入Run栏中,和命令行方式是一样的。
3.2.2在Ultra Editor中集成
选取 Menu | Advanced | Tool Configuration ... ,
1) 点按“Insert",
2) 在command line:中填写:c:/lint/lint-nt c:/lint/std.lnt %f
3) 在Menu Item中填写:PC-LINT
4) 在Command Output中选择:(x) Output to List Box和(x) Capture Output
5)点按"OK"
笔者在UE6.0 / NT 4.0 下测试成功。
3.2.3 在MSVC 6.0中集成
基本原理是一样的:
1) 选取 menu | tools | customize.....
2) 选取 Tools Tab:
3) 点按主对话框上方的虚线小方框 New a tool item
4) 输入 name: PC-LINT
5) 输入 Command: c:/lint/lint-nt.exe
6) 输入 Arguments: c:/lint/std.lnt $(FilePath)
7) 选择 (x) Use Output Window
8) Close
完成后,在tools菜单下就会有一项PC-LINT选项。
3.3 LINT选项
LINT选项可以放在注释中,例如:
/*lint option1 option2 ... optional commentary */
//lint option1 option2 ... optional commentary
选项间要以空格分开,lint命令一定要小写,并且紧跟在/*或//后面,不能有空格。如果选项由类似于操作符和操作数的部分组成,例如-esym (534, printf, scanf, operator new),其中最后一个选项是operator new,那么在operator和 new中间只能有一个空格。
选项还可以放在宏定义中,例如:
#define DIVZERO(x) /*lint -save -e54 */ ((x) /o) /*lint -restore */
LINT的选项很多共有300多种,大体可分为以下几类:
1) 错误信息禁止选项
该类选项是用于禁止生成某类错误信息的选项,最常用的是-e和+e,-e是禁止生成某类错误信息,+e是恢复生成某类错误信息。运行lint目录下的msg.exe可以得到msg.txt文件,这个长达5000行的文件包含了所有的错误信息号和解释。
-w 对于所有大于级别的告警信息都不显示。
-wlib()对于所有大于级别的关于库函数数的告警信息都不显示。我们可以用-wlib(0)来屏蔽所有的库函数的告警信息,-wlib(1)只显示库函数中的句法错误。
-esym(#,) 可以屏蔽对于特定符号的某告警信息。
2) 变量类型大小选项
不同的目标机、编译系统变量类型的大小(如短整形变量、整形变量等)会有所不同,该类选项用于为目标机设置变量类型的大小。由于默认的设置与大部分的编译 器是匹配的,这些专门的设置通常情况下是不需要的,只在特别的目标机结构中才用。例如一个M68000目标机,它的int类型和指针类型通常是32bit 的,这时你应该使用选项:-si4 -sp4。这些尺寸参数的当前的值可以通过help来获得,例如可以输入以下命令行:
lin -si4 -sp4 ?
3) 冗长信息选项
冗长信息指的是LINT过程中产生的一些与编译过程有关的信息,而不是真正的告警信息、错误信息等。是否生成这些信息可以通过-v和+v选项来决定。+v是生成这些信息,-v是关闭这些信息,这组选项中除+v外,其它所有选项都可以关闭+v选项。
4) 标记选项
以+f、++f、-f和--f开头的选项是标记选项。他们的逻辑含义分别如下:
+f...:通过把标志置为1而把它置为ON
-f...:通过把标志置为0而把它置为OFF
++f...:标志增1
--f...:标志减1
后面两个用于你想在局部把一个标志设置为ON的情况,而不影响全局设置。例如你可以这样使用:
/*lint ++flb */
int printf( );
/*lint --flb */
标记选项的种类很多,基本含义是用于打开或关闭某类语法情况使用,例如允许使用缩写结构体名称,允许使用无名联合体,把所有模块当作C++编译等。
5) 消息显示选项
消息显示选项用于定义消息输出格式。主要有消息高度选项、消息宽度选项、消息格式选项等。
6) 其它选项
其它选项中的种类很多,各类间差异很大,在这里就不一一介绍了,建议大家看一看《PC-LINT》一书,第五章有对每种选项的详细说明。lint本身也有一些说明信息, lint-nt >lint.txt 然后狂按几个回车就可以生成一个lint选项的说明文件。
4.LINT一个工程下的多个C文件
4.1为何要LINT多个C文件
在程序编码初期,我们关心的可能只是单个C模块种中的语法问题,等到编程后期,对于由多个C模块组成的程序,我们希望了解当把多个模块连接在一起后是否还有存在于模块间的语法问题。这时编译器虽然能给出一些告警,但PC-LINT的连接能给出更多的告警。还有当我们能保证其中的几个模块相对稳定,而另外几个模块仍有问题时可以先将几个稳定的模块编译连接成一个目标文件,文件每次修改完成后先单独编译,然后连接到总的目标文件。
4.2如何LINT一个工程下的多个C文件
像我们平时使用的编译工具一样,PC-LINT在编译连接多个C文件时也会先把每个C文件编译生成中间的目标文件*.lob,然后再将所有的LOB文件连接 在一起。LOB是Lint Object Module的缩写。这个文件中包含了一个C或C++模块的所有外部信息。生成LOB文件时有三种选项要注意: 第一种是-u,如果要LINT生成LOB文件,就一定要加-u选项;第二种是-zero或-zero(500)选项,为了保证LOB文件在模块存在错误的情况下也能生成,就一定要加这个选项;第三种是-oo[(filename)],filename是生成的LOB文件的名称,在-oo后面,可加,也可不加,如不加,则LOB文件名与原C模块的名称相同,例如:
lint -u alpha.c -oo(a1)
生成的LOB文件名为:a1.lob
lint -u alpha.c –oo
生成的LOB文件名为:alpha.lob
LINT一个工程下的多个C模块,在用户的源程序目录下一般需要三个文件: 一个选项文件(*.lnt)、一个批处理文件(*.bat)和一个MAKEFILE文件(*.mak)。下面一一讲述如何制作这些文件。
1) 选项文件(*.lnt)
选项文件在前面也提到过,你可以把你LINT每个C文件时时用到的所有公共选项罗列在该文件中,选项生效的顺序按照从左到右,从上到下的原则。该类文件可以层层嵌套,嵌套的层数没有限制。例如make.lnt文件:
-iC:/lint
std.lnt
+os(temp)
-e46
+vm
-zero
2) 批处理文件(*.bat)
制作批处理文件时要注意要在该文件中调用TCMAKE.EXE文件和MAKEFILE文件,例如lintmake.mak文件:
@echo Lint Making ‘makelap‘:
tcmake -flintmake.mak
@echo End of making
3) MAKEFILE文件(*.mak)
MAKEFILE使用的TCMAKE的语法,和我们平时开发编译时使用的MAKEFILE文件语法格式一样,例如下面的lintmake.mak文件:
MCCPATH = c:/mcc68k
OPTION = -u make.lnt –oo
GLOBLE = os.h l2lap.h
mail_depend = $(GLOBLE) q931.h mail.h
lapmain_depend = $(GLOBLE) l1pubdef.h q931.h mail.h
lapos_depend = $(GLOBLE)
fhdlc1_depend = $(GLOBLE) cpuhdlc.h bd_prar.h q931.h
OBJ = mail.lob lapmain.lob lapos.lob fhdlc1.lob
project.lob : $(OBJ)
lint-nt make.lnt -e768 -e769 *.lob
mail.lob: mail.c $(mail_depend)
lint-nt $(OPTION) mail.c
lapmain.lob: lapmain.c $(lapmain_depend)
lint-nt $(OPTION) lapmain.c
lapos.lob: lapos.c $(lapos_depend)
lint-nt $(OPTION) lapos.c
fhdlc1.lob: fhdlc1.c $(fhdlc1_depend)
lint-nt $(OPTION) fhdlc1.c
4.3简单的LINT多个文件
假设我们的工程不复杂,我们可以负担起每次都将所有的文件都lint一遍的开销,也可以不使用上面的正规用法。笔者在实践中发现,将所有的*.c文件放在一个lint命令中,同样能完成lint整个工程的目的。
如:
lint-nt c:/lint/std.lnt AllMySource.lnt
在AllMySource.lnt中包括你的工程中的所有源文件
a1.c
a2.c
a3.c
需要注意的是,在 std.lnt 文件中就不需要 -u 选项了。因为我们已经提供了所有的信息。