PC-Lint概念与基本操作

1. PC-Lint工具介绍

PC-Lint for C/C++是由Gimpel软件公司于1985年开发的代码静态分析工具,它能有效地发现程序语法错误、潜在的错误隐患、不合理的编程习惯等。

C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PC-Lint能识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目开发成本和延误的主要因素。PC-lint能够帮你在程序动态测试之前发现编码错误，这样消除错误的成本更低。使用PC-Lint在代码走读和单元测试之前进行检查，可以提前发现程序隐藏错误，提高代码质量，节省测试时间。并提供编码规则检查，规范软件人员的编码行为。

PC-Lint能够检查出很多语法错误和语法上正确的逻辑错误，PC-Lint为大部分错误消息都分配了一个错误号，编号小于1000的错误号是分配给C语言的，编号大于1000的错误号则用来说明C++的错误消息。表 1 列出了PC-Lint告警消息的详细分类：详细信息可参考c:/lint/msg.txt 文件

C C++ Warning Level

Syntax Errors 1 - 199 1001 - 1199 1
Internal Errors 200 - 299 1200 - 1299 0
Fatal Errors 300 - 399 0
Warnings 400 - 699 1400 - 1699 2
Informational 700 - 899 1700 - 1899 3
Elective Notes 900 - 999 1900 - 1999 4
以C语言为例，其中的编号1-199指的是一般编译器也会产生的语法错误；编号200-299是PC-Lint程序内部的错误，这类错误不会出现在代码中的；编号300-399指的是由于内存限制等导致的系统致命错误。编号400-999中出现的提示信息，是根据隐藏代码问题的可能性进行分类的：其中编号400-699指的是被检查代码中很可能存在问题而产生的告警信息；编号700-899中出现的信息，产生错误的可能性相比告警信息来说级别要低，但仍然可能是因为代码问题导致的问题。编号900-999是可选信息，他们不会被默认检查，除非你在选项中指定检查他们。

2. 安装

pclint不是免费的哦。不过也不贵，我们公司好像只花了2K大洋吧。运行安装文件pclint9后就可以很简单地安装了。

版本

Q:如何查看版本？

A:见readme.txt：

PC-lint for C/C++ Version ９.00e

3. 开始使用

3.1. 不用任何配置，直接使用

3.1.1. 准备待被检查的文件:

先在E:/建一个文件：main.cpp，内容为：

void main() { }

3.1.2. 最简单的用法

在命令行下输入：D:/>C:/lint/lint-nt E:/main.cpp

C:/lint>C:/lint/lint-nt E:/main.cpp PC-lint for C/C++ (NT) Ver. 8.00q, Copyright Gimpel Software 1985-2004 --- Module: E:/main.cpp _ } E:/main.cpp 3 Info 783: Line does not end with new-line C:/lint>

PCLINT已经工作了，是不是简单的难以让人相信。

3.1.3. 最简单的标准用法

修改被检查的文件E:/main.cpp，内容修改为：

#include <stdio.h> void main() { printf("hello pclint/n"); }

再次在命令行下输入：D:/>C:/lint/lint-nt E:/main.cpp

D:/>lint PC-lint for C/C++ (NT) Ver. 8.00q, Copyright Gimpel Software 1985-2004 --- Module: E:/main.cpp _ #include <stdio.h> E:/main.cpp 1 Error 322: Unable to open include file 'stdio.h' D:/>

报错误，“不能找到头文件stdio.h”

当然PCLINT不可能也不应该知道到哪里去找stdio.h，stdio.h所在的路径需要我们告诉它。

如何告诉呢？

通常的做法是在xxx.lnt文件中指定，然后指定使用这个xxx.lnt文件。

最简单的是使用 c:/lint/std.lnt 这个文件。

3.2. std.lnt的配置:

3.2.1. std.lnt的默认内容

C:/lint/std.lnt默认内容可能为空。

我们可以通过运行C:/lint/config.exe来自动生成内容。

3.2.2. 修改std.lnt

运行C:/lint/CONFIG.EXE，　

在"Select Your Compiler"（问你的编译器是什么）里选"Microsoft Visual C++ 2008(co-msc90.int)"

在“Architecture"（问你的系统是什么架构）里选“32-bit Flat Model (-ms, -si4 -sp4)”，因为我是为32位的系统测试，你可以按你的产品的架构来改。

在“Libraries"（问你需要用到哪些库）里，我这知道怎么选，最后搞了个“Standard Template Library“

在“Author Recommendations“（问你需要用哪些高手前辈的建议来规范你的代码风格）里选了个"MISRA C 2004"（汽车工业软件可靠性联合会的标准）。

在“Header Files”（问你的系统头文件在哪个路径下）页里选“Create -i options“，在里面输入inclue的路径 C:/[/b]Program Files/Microsoft Visual Studio 9.0/VC/include

最后问你是否需要使用你的最新配置为默认设置时，你可以答应，这就覆盖了std.lnt的内容了：

// Microsoft Visual C++ 2008, -si4 -sp4, lib-stl.lnt lib-w32.lnt // Standard lint options au-misra2.lnt co-msc90.lnt lib-stl.lnt lib-w32.lnt options.lnt -si4 -sp4 -i"C:/Program Files/Microsoft Visual Studio 9.0/VC/include"

注：如果生成的std.lnt内容与上面不一样，可以手工修改成上面那样。[/u]

也可以不答应，然后会自动命名为另一个文件：std_A.lnt。你可以在运行lint命令时指定用它就行了。

3.3. 使用std.lnt

再次在命令行下输入：D:/> C:/lint/lint-nt -i"C:/lint" -u std.lnt e:/main.cpp

或者是C:/lint/lint-nt -i"C:/lint" -u std_A.lnt e:/main.cpp

-i"C:/lint" 指明在哪个路径下找配置文件*.lnt

-u std.lnt 指明使用std.lnt这个选项文件.

至此，我们已经学会了PCLINT的简单用法及两个选项：-i,-u

-i 指明包含路径

-u 指明使用哪些.lnt文件

4. 其它开发工具下的配置

前面我们掌握了命令行方式下PCLINT的使用方法，下面介绍在VC下面的配置及使用。

4.1. VC下的配置（我用的是Visual C++ 2008 Express Edition）

点Tools/External Tools...，

新建一自定义工具项，名称为：PClint

Command里定位到你的PLlint：C:\lint\lint-nt.exe

Arguments为：-i"C:/lint" -u std.lnt env-vc9.lnt "$(FileName)$(FileExt)"

Q:怎么知道要输入这样的参数了？

A:从帮助中得知的，见文件env-vc9.lnt

Q: env-vc9.lnt有什么作用？

A:指定输出错误报告的格式，这个选项可以去掉，比如修改为：

Arguments为：-i"C:/lint" -u std.lnt "$(FileName)$(FileExt)"

记得把下面的"Use Output window"钓上，否则你看不到输出了。

4.2. 示例

4.2.1. testForPclint1

新建一个最简单的Win32 Console Application，工程名testForPclint1，其中的main.cpp为：

void main()

{

}

点击Tools菜单下面的PCLINT菜单项：

PC-lint for C/C++ (NT) Ver. 9.00f, Copyright Gimpel Software 1985-2004 --- Module: main.cpp } main.cpp(3): error 783: (Info -- Line does not end with new-line) --- Global Wrap-up error 900: (Note -- Successful completion, 1 messages produced) Press any key to continue

第三行有个错误：error 783: (Info -- Line does not end with new-line)

意思是说没有以新行结束。

注：如果Arguments为：-i"C:/PCLint" -u std.lnt "$(FileName)$(FileExt)"[/u]

则结果为：[/u]

PC-lint for C/C++ (NT) Ver. 8.00q, Copyright Gimpel Software 1985-2004 --- Module: main.cpp _ } main.cpp(3) : Info 783: Line does not end with new-line Press any key to continue

修改main.cpp为：

void main()

{

}<---即在这里加一个回车

再次LINT，结果没有任何告警：

PC-lint for C/C++ (NT) Ver. 8.00q, Copyright Gimpel Software 1985-2004 --- Module: main.cpp --- Global Wrap-up error 900: (Note -- Successful completion, 0 messages produced) Press any key to continue

4.2.2. testForPclint2

新建一个最简单的Win32 Console Application，工程名testForPclint2，其中的main.cpp为：

#include "stdio.h"

int main(int argc, char* argv[])

{

printf("hello/n");

}

点击Tools菜单下面的PCLINT菜单项：

PC-lint for C/C++ (NT) Ver. 8.00q, Copyright Gimpel Software 1985-2004 --- Module: main.cpp _ } main.cpp(6) : Warning 533: function 'main(int, char **)' should return a value (see line 3) main.cpp(3) : Info 830: Location cited in prior message _ } main.cpp(6) : Info 715: Symbol 'argv' (line 3) not referenced main.cpp(3) : Info 830: Location cited in prior message _ } main.cpp(6) : Info 818: Pointer parameter 'argv' (line 3) could be declared as pointing to const main.cpp(3) : Info 830: Location cited in prior message _ } main.cpp(6) : Info 715: Symbol 'argc' (line 3) not referenced main.cpp(3) : Info 830: Location cited in prior message Press any key to continue

有4个告警，修改main.cpp为：

#include "stdio.h" int main(int argc, char* argv[]) { (void)argc; // pc lint (void)argv; // pc lint printf("hello/n"); return 0; }

再次LINT，无任何告警了。

PC-lint for C/C++ (NT) Ver. 8.00q, Copyright Gimpel Software 1985-2004 --- Module: main.cpp Press any key to continue

5. 使用批处理方法

为什么要使用批处理？还不是为了使用更简单。

我们在C:/lint建一个批处理文件lint.bat，内容为：

@echo off C:/lint/lint-nt -i"C:/lint" -u std.lnt e:/main.cpp

为了支持输入参数，修改为：

@echo off C:/lint/lint-nt -i"C:/lint" -u std.lnt %1

这时候我们不能简单输入D:/>lint.bat，而必须加上输入参数：

D:/>lint.bat e:/main.cpp