PC-Lint是C/C++软件代码静态分析工具,你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。 C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PCLint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等等。软件除错是软件项目开发成本和延误的主要因素。PClint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。 由于PC-LINT对于一般程序员来说可能比较陌生,有好多人安装了也不知道怎样配置和使用。 下面我就根据自己的安装和配置心得对PC-Lint的安装、配置及使用进行下详细说明.本人主要介绍了将PC-Lint集成到VC++6.0和SourceInsight的方法和步骤。 (一)Windows下C/C++开发工具中,VC6使用较为普遍,因此这里先讲下VC6.0环境中集成pclint的步骤. 首先, 当然要下载软件,正版软件要200多$呢,买不起!所以只好网上找免费的拉。从http://www./down/othe/pclint.rar处可以下载到一个8.0版本的pclint. 1.将pclint.rar解压至c:/, 这样lint文件就位与c:/pclint(安装目录)下了。 // contents of std.lnt c:/pclint/co-msc60.lnt //end 其中-i后面的路径名为VC的安装路径和VC Include 文件路径,根据自己的修改便可。 options.lnt 内容可为空,为定制内容,以后需要时再添加。 准备工作做完了,下一步就是要将pclint集成到VC6中去,先配置lint使之能对单个C或C++文件进行检查。 1.打开VC6,tools--->customize-->tools 新建一个名为PC-Lint的项,在下面填入 Use Output Window 打上勾 (自己注1:将pclint放在任何目录都是可以的,但是,如果是放在例如:Program Files这样的目录中,由于该目录中间有空格,所以,解析时常常会出错,需要在绝对路径外面加上引号,例如:"H:/Program Files/pclint/lint-nt.exe" 自己注2:其实,更简单的方法使pc-lint的安装路径设置到系统地path环境变量中,那么就完全可以使用相对路径了。 自己注3:运行时,会提示PC-lint for C/C++ (NT) Ver. 8.00e, Copyright Gimpel Software 1985-2001 现在就可以用个小程序测试一下pclint了 编译这个文件,看下你的编译器给你多少警告,再运行下lint, 可以自己对比一下。 运行后出现的提示如下: PC-lint for C/C++ (NT) Ver. 8.00e, Copyright Gimpel Software 1985-2001 --- Module: F:/C++ Test/lintRun.cpp { p = new int[20]; } F:/C++ Test/lintRun.cpp(8): error 1732: (Info -- new in constructor for class 'X' which has no assignment operator) F:/C++ Test/lintRun.cpp(8): error 1733: (Info -- new in constructor for class 'X' which has no copy constructor) { memset( p, 20, 'a' ); } F:/C++ Test/lintRun.cpp(10): error 669: (Warning -- Possible data overrun for function 'memset(void *, int, unsigned int)', argument 3 (size=97) exceeds argument 1 (size=80) [Reference: file F:/C++ Test/lintRun.cpp: lines 8, 10]) F:/C++ Test/lintRun.cpp(8): error 831: (Info -- Reference cited in prior message) F:/C++ Test/lintRun.cpp(10): error 831: (Info -- Reference cited in prior message) { delete p; } F:/C++ Test/lintRun.cpp(12): error 424: (Warning -- Inappropriate deallocation (delete) for 'new[]' data)
--- Wrap-up for Module: F:/C++ Test/lintRun.cpp
F:/C++ Test/lintRun.cpp(3): error 753: (Info -- local class 'X' (line 3, file F:/C++ Test/lintRun.cpp) not referenced)
--- Global Wrap-up
error 900: (Note -- Successful completion, 7 messages produced) Tool returned code: 7 2.通常一个VC项目中包含多个C或C++文件,有时需要同时对这一系列的文件进行lint检查,我们可以通过配置一个pclint_project来达到目的。
以下部分我还没有用到,留置。 和前面第一步中的方法基本一样,不过这里我们需要用到unix中的find等命令来查找当前目录下的C和C++文件,然后再将它们送给lint程序处理,所以得先从http://www./~syring/win32/UnxUtils.zip下载UnxUtils.zip. (i)解压UnxUtils.zip至c:/unix下, 可以看到C:/unix/usr/local/wbin有很多unix下的命令,等下会用到 (ii)打开VC6,tools--->customize-->tools 新建一个名为pclint_project的项,只不过下面的commands和arguments内容不同。 commands: C:/unix/usr/local/wbin/find.exe (自己注4:这里有一个小错误,如果不将pc-lint的安装路径写入系统path环境变量,那么上面设置后,在运行时会有错误: C:/unix/usr/local/wbin/xargs: cannot fork Tool returned code: 1 原因,就在于上面的设置中,lint-nt使用了相对路径,执行时找不到资源,所以改为绝对路径,一切就ok了) (iii)Use Output Window打上勾,close退出。好了,这时VC tools菜单下应该又多了一个pclint_project项了,你以后可以用它来对一个VC项目运行lint检查程序了.
Windows平台下也有好多人都喜欢用SourceInsight编辑C/C++程序,如果将pclint集成到SourceInsight中,那就相当于给SourceInsight增加了一个C/C++编译器,而且它的检查更严格,能发现一些编译器发现不了的问题,可以大大减少程序中潜伏的BUG。这样的话,相信更多人会喜欢SourceInsight这个工具了。 下面简要地介绍下pclint集成到SourceInsight中的方法 有了上面VC中集成pclint的经验, 下面的事情就应该比较轻松了, (b) Run中输入: c:/pclint/lint-nt -u c:/pclint/std.lnt c:/pclint/env-vc6.lnt %f (c)Dir留空,将Iconic Window, Capture Output, Parse Links in OutPut, File,then Line 四项前打上勾。 (d)然后点右侧 Menu--->Menu-->View--><end of menu>, 右侧Insert, OK. (e)此时在SourceInsight中的View菜单下多了个pclint选项,可以用它来对单个C/C++文件进行静态检查。
(a)打开你的SourceInsight, 选择Options-->Custom Commands-->Add, 输入pclint_project(当然名字可以随便). (b) Run中输入: C:/unix/usr/local/wbin/find.exe %d -name *.c -o -name *.cpp | C:/unix/usr/local/wbin/xargs lint-nt (c)Dir留空,将Iconic Window, Capture Output, Parse Links in OutPut, File,then Line 四项前打上勾。 (d)然后点右侧 Menu--->Menu-->View--><end of menu>, 右侧Insert, OK. (e)此时在SourceInsight中的View菜单下多了个pclint_project选项,可以用它来一个工程中的C/C++文件进行静态检查。
注: 关于库文件函数的实现与模块使用的一致性检查、 目前验证可以通过以下方式进行: 方法一: 方法二: |
|