PCLint使用（一）

一、PCLint简介：

PC-Lint 是 GIMPEL SOFTWARE公司开发的 C/C++软件代码静态分析工具，它的全称是 PC-Lint/FlexeLint for C/C++，PC-Lint 能够在Windows、MS-DOS和 OS/2平台上使用，以二进制可执行文件的形式发布，而FlexeLint运行于其它平台，以源代码的形式发布。PC-lint 在全球拥有广泛的客户群，许多大型的软件开发组织都把 PC-Lint 检查作为代码走查的第一道工序。PC-Lint不仅能够对程序进行全局分析，识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针以及冗余的代码，还能够有效地帮你提出许多程序在空间利用、运行效率上的改进点。

 

二、安装和配置

1、现在网上一般都能下载免费的PC-lint 8.0，直接解压即可使用

2、生成配置文件可以使用CONFIG.exe，熟练的话也可以直接手动编写std.lnt文件。跟随CONFIG.ext配置过程可以参考《pc_lint经验.pdf》

3、将PC-Lint 与 source insight 集成可以参考《pc_lint经验》中4.3.2节。

 

三、配置过程中，遇到的问题

由于目标代码是应用在Linux平台，所以需要将Linux系统头文件告知PCLint，我采取的方法是对/usr/include映射到windows（可以通过samba），然后修改PCLint所使用的std.lnt文件，加入include路径，例如：“-iZ:/include”。如果还出现什么问题，可以根据错误码查看《pc-lint》——PCLint目录里的说明书。

 

四、总结

1、目前的PCLint可以工作，检查一个单独的.c文件，还不能直接解析project。

2、PCLint检查结果中，库函数的警告信息占了很大比重。

 

参考资料：

《pc_lint经验》下载地址：http://download.csdn.net/source/2162695

《pc-lint》软件包中包含。