一、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》软件包中包含。