第3部分 软件研发工作总结
VC++集成开发环境中Linux下Pclint工程的配置方法及常见错误修改
【文章摘要】
Pclint是一种C/C++软件代码静态分析工具。它是一种更加严格的编译器，能够发现普通编译器所不能发现的代码中的很多问题，因此被广泛应用于软件开发项目中。
本文介绍了如何在VC++集成开发环境中配置Linux下的Pclint工程，给出了C语言中pclint规则A检查的常见错误，并描述了对应的修改办法。
【关键词】
VC++ Pclint 配置 操作 修改
1. 前言
Pclint是一种强大的C/C++软件代码静态分析工具，它不但能够对程序进行全局分析、识别没有被适当检验的数组下标、报告未被初始化的变量、警告使用空指针连同冗余的代码，还能够有效地提出许多程序在空间利用、运行效率上的改进点。因此，许多大型的软件研发组织都把Pclint检查作为代码走查的第一道工序。
Pclint的作用有如下几个：
(1) Pclint是一种更加严格的编译器，不仅可以像普通编译器那样检查出一般的语法错误，还可以检查出那些虽然完全合乎语法要求，但很可能是潜在的、不易发现的错误。
(2) Pclint不但可以检测单个文件，也可以从整个项目的角度来检测问题。
(3) Pclint支持几乎所有流行的编辑环境和编译器。
(4) Pclint还支持各种提高效率和防止错误的方法。
Pclint虽然好处多多，但要运行起来还需要进行一定的配置，而这个配置过程比较的繁琐，稍不注意就会配错。
本文根据作者的实际经验，介绍了VC++集成开发环境中Linux下Pclint工程的配置方法。在配置之前，要确保已经获取了完整的Pclint软件，并存放到PC机上。
此外，本文还介绍了用pclint工具对C代码进行检查的时候，规则A中的常见错误，并给出了对应的修改办法。
2. 配置前准备
2.1 获取Linux的include和lib目录
为了完成Linux下Pclint工程的配置，需要将Linux下的include和lib目录存放在本地文件夹下。
一般说来，这两个目录位于usr目录之下，在本地的存放情况如图1所示：
图1 include和lib的本地存放示意图
2.2 A规则和B规则lnt文件的配置
Pclint对代码的检查分为A规则和B规则，其中A规则是必须要修改的，B规则中与平台无关的错误要尽量修改。A规则和B规则配置文件的示例如下：
A规则：
au-sm.lnt au-ds.lnt au-misra.lnt co-gnu3.lnt lib-stl.lnt
options_A.lnt -si4 -sp4
-i"D:/linux/usr/include"
-i"D:/linux/usr/lib/gcc-lib/i586-linux/3.3.3/include"
B规则：
au-sm.lnt au-ds.lnt au-misra.lnt co-gnu3.lnt lib-stl.lnt
options_B.lnt -si4 -sp4
-i"D:/linux/usr/include"
-i"D:/linux/usr/lib/gcc-lib/i586-linux/3.3.3/include"
根据include和lib目录存放位置的不同，只需在两个文件中作对应修改即可。
2.3 Pclint检查结果文件夹的创建
为了方便保存Pclint的检查结果，需要在本地创建一个文件夹。当每次运行Pclint之后，会将结果存放在该文件夹之下。
文件夹及产生的结果示例如图2所示：
图2 Pclint检查结果存放文件夹示意图
3. VC++中Pclint工程的配置方法
在完成了上述准备工作之后，我们接下来要做的便是在VC++中配置Pclint工程了。
3.1 Pclint规则A的配置
打开VC++软件，选择“Tools”-->“Customize”。如图3所示：
图3 Pclint规则A的配置操作1
单击“Customize”，选择“Tools”。如图4所示：
图4 Pclint规则A的配置操作2
在“Tools”菜单下，可以完成Pclint规则A的配置。配置示意图如图5所示：
图5 Pclint规则A的配置操作3
Pclint规则A的各项配置为：
名称：PC-lint A(project check)
Command: D:\pclint\LINT-NT.EXE
Arguments: +ffn -i"D:\pclint" pclint_A.lnt env-vc6.lnt $(WkspName).lnt >>"D:\pclint_output\pclint_A.lnt"
Initial Directory: $(WkspDir)
其中，名称可以根据个人习惯及实际需要进行选取，“Command”项是“LINT-NT.EXE”的全路径，“Arguments”中涉及到A规则的lnt文件和检查结果的存放路径(见2.3节)。
要注意的是，在图5中，如果不勾选“Use Output Window”项，那么检查的结果会直接出现在VC++工程的输出框中。为了保存检查结果，建议勾选该项(勾选后结果会保存在2.3节所建的文件夹下)。
配置完成之后，单击图5中右下角的“Close”，然后选择VC++菜单栏上的“Tools”项，会看到Pclint规则A检查项的名称，如图6所示：
图6 Pclint规则A检查项示意图
3.2 Pclint规则B的配置
对于Pclint规则B的配置，操作1和操作2与规则A完全相同，操作3的各项配置如图7所示：
图7 Pclint规则B的配置操作3
Pclint规则B的各项配置为：
名称：PC-lint B(project check)
Command: D:\pclint\LINT-NT.EXE
Arguments: +ffn -i"D:\pclint" pclint_B.lnt env-vc6.lnt $(WkspName).lnt >>"D:\pclint_output\pclint_B.lnt"
Initial Directory: $(WkspDir)
要注意勾选“Use Output Window”项，配置完成之后，单击图7中右下角的“Close”，然后选择VC++菜单栏上的“Tools”项，会看到Pclint规则B检查项的名称，如图8所示：
图8 Pclint规则B检查项示意图
经过以上配置之后，每次只要单击图6和图8中Pclint规则A和规则B的名称，我们就可以用Pclint来检查代码了。
4. 常见的pclint规则A错误及修改办法
4.1 外部声明的函数无返回值
错误提示：error 808: (Info -- No explicit type given symbol 'XXX', int assumed)。
表现形式：代码中，在定义XXX变量的时候没有定义其类型。
修改办法：在XXX变量之前，添加其返回值类型。
4.2 传递给函数的整型值参数超出了范围
错误提示：error 419: (Warning -- Apparent data overrun for function 'strcpy(char *, const char *)', argument 2 (size=17) exceeds argument 1 (size=16)。
表现形式：代码中，在数据移动的时候出现了数据溢出。
修改办法：调整相关存储结构的长度，避免数据溢出。
备注：主要指memcpy、strcpy、fgets等数据移动或转换函数中的参数之间有隐含语义关系的函数。
4.3 定义的局部变量在该函数中未使用
错误提示：error 529: (Warning -- Symbol 'XXX' (line xxx) not subsequently referenced)。
表现形式：代码中，XXX变量(位于xxx行)虽然定义了，但在后续语句中并没有用到。
修改办法：直接将该变量注释掉。
备注：该类错误在代码中比较常见。
4.4 布尔类型恒为真或恒为假
错误提示：error 774: (Info -- Boolean within 'if' always evaluates to True。
表现形式：代码中，if语句恒为真。
修改办法：不用if判断，直接执行内部的函数语句。
4.5 非负数类型的变量不可能小于0，而代码中做了小于0的判断
错误提示：error 775: (Info -- non-negative quantity cannot be less than zero)。
表现形式：代码中，某变量值(如用strlen()赋值的变量)为非负数，但做了小于0的判断。
修改办法：将“<=0”改为“==0”。
4.6 在关系表达式中，有符号数和无符号数混合使用
错误提示：error 574: (Warning -- Signed-unsigned mix with relational)。
表现形式：代码中，两个进行比较的整型变量，一个为有符号型，另一个为无符号型。
修改办法：在不影响功能和结果的情况下，修改其中一个变量的类型，让两变量的类型一致。
4.7 对局部变量赋值了，但没有任何地方访问到该变量
错误提示：error 550: (Warning -- Symbol 'XXX' (line xxx) not accessed)。
表现形式：代码中，变量XXX已经被赋值，但并没有被使用到。
修改办法：可直接将该变量注释掉。
4.8 函数没有声明，但在该函数的实现语句之前被其它函数调用了
错误提示：error 1055: (Error -- Symbol 'XXX' undeclared, assumed to return int)。
表现形式：代码中，函数XXX没有在头文件(.h文件)或实现文件(.c文件)中声明，并且在该函数的实现语句之前，其它函数调用了它。
修改办法：在头文件中声明该函数，或在实现文件的前面声明该函数。
5. 总结
本文按照操作顺序介绍了如何在VC++集成开发环境中配置Linux下的Pclint工程，并详细介绍了用pclint工具对代码进行检查时，规则A所包含的常见错误以及修改办法，供大家参考。
“工欲善其事，必先利其器”，Pclint工具能够发现编译器所不能发现的问题。如果我们能够合理地利用它，必将在一定程度上提高代码的质量。
当然，“打铁还需自身硬”，要想写出高质量的代码，光靠工具是远远不够的。我们需要不断学习、不断提高自己编码的水平，并用心写好每一段代码。
(本人微博： http://weibo.com/zhouzxi?topnav=1&wvr=5，微信号：245924426，欢迎关注！)
