让你提前认识软件开发(51)：VC++集成开发环境中Linux下Pclint工程的配置方法及常见错误修改

第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，欢迎关注！)