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 LevelSyntax 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
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 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:/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内容与上面不一样，可以手工修改成上面那样。
也可以不答应，然后会自动命名为另一个文件：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)"
则结果为：
| 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