`
miyazaki
  • 浏览: 17707 次
  • 性别: Icon_minigender_1
  • 来自: 上海
社区版块
存档分类
最新评论

代码静态分析工具PC-LINT安装配置

 
阅读更多

PC-Lint是C/C++软件代码静态分析工具,你可以把它看作是一种更加严格的编译器。它不仅可以检查出一般的语法错误,还可以检查出那些虽然符合语法要求但不易发现的潜在错误。
 C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PCLint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等等。软件除错是软件项目开发成本和延误的主要因素。PClint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。
 使用PC-Lint在代码走读和单元测试之前进行检查,可以提前发现程序隐藏错误,提高代码质量,节省测试时间。并提供编码规则检查,规范软件人员的编码行为。
由于PC-LINT对于一般程序员来说可能比较陌生,有好多人安装了也不知道怎样配置和使用。
 
 下面我就根据自己的安装和配置心得对PC-Lint的安装、配置及使用进行下详细说明.本人主要介绍了将PC-Lint集成到VC++6.0和SourceInsight的方法和步骤。

(一)Windows下C/C++开发工具中,VC6使用较为普遍,因此这里先讲下VC6.0环境中集成pclint的步骤.

首先, 当然要下载软件,正版软件要200多$呢,买不起!所以只好网上找免费的拉。从http://www.61ic.com/down/othe/pclint.rar处可以下载到一个8.0版本的pclint.

1.将pclint.rar解压至c:/, 这样lint文件就位与c:/pclint(安装目录)下了。
2.将c:/pclint/lnt 下的3个文件lib-w32.lnt,env-vc6.lnt,co-msc60.lnt拷贝至c:/pclint下, 再在安装目录下创建std.lnt和options.lnt两个文件,其中std.lnt的内容如下

// contents of std.lnt

c:/pclint/co-msc60.lnt
c:/pclint/lib-w32.lnt
c:/pclint/options.lnt  -si4 -sp4
-i"D:/Program Files;D:/Program Files/Microsoft Visual Studio/VC98/Include"

//end

其中-i后面的路径名为VC的安装路径和VC Include 文件路径,根据自己的修改便可。

options.lnt 内容可为空,为定制内容,以后需要时再添加。

准备工作做完了,下一步就是要将pclint集成到VC6中去,先配置lint使之能对单个C或C++文件进行检查。

1.打开VC6,tools--->customize-->tools 新建一个名为pclint的项,在下面填入
command:  C:/pclint/lint-nt.exe
arguments:  -u c:/pclint/std.lnt  c:/pclint/env-vc6.lnt  "$(FilePath)"

Use Output Window  打上勾
close 完成。 这个在你VC窗口tools菜单下应该多了一个pclint选项,可以用它来运行lint程序,对你的c/c++代码进行静态检查了。

现在就可以用个小程序测试一下pclint了
//test1.cpp
#include <string.h>
class X
{
 int *p;
public:
 X()
 { p = new int[20]; }
 void init()
 { memset( p, 20, 'a'  ); }
 ~X()
 { delete p; }
};

编译这个文件,看下你的编译器给你多少警告,再运行下lint, 可以自己对比一下。
我的机器上,VC产生0 errors 0 warnings, 而lint程序产生了如下8条警告信息,有些还是很有用处的提示,这里就不一一分析了.

test.cpp(12): error 783: (Info -- Line does not end with new-line)
test.cpp(7): error 1732: (Info -- new in constructor for class 'X' which has no assignment operator)
test.cpp(7): error 1733: (Info -- new in constructor for class 'X' which has no copy constructor)
    { memset( p, 20, 'a'  ); }
test.cpp(9): error 669: (Warning -- Possible data overrun for function 'memset(void *, int, unsigned int)', argument 3 (size=97) exceeds argument 1 (size=80) [Reference: test.cpp: lines 7, 9])
test.cpp(7): error 831: (Info -- Reference cited in prior message)
test.cpp(9): error 831: (Info -- Reference cited in prior message)
    { delete p; }
test.cpp(11): error 424: (Warning -- Inappropriate deallocation (delete) for 'new[]' data)


 --- Wrap-up for Module: test.cpp

test.cpp(2): error 753: (Info -- local class 'X' (line 2, file test.cpp) not referenced)
Tool returned code: 8


2.通常一个VC项目中包含多个C或C++文件,有时需要同时对这一系列的文件进行lint检查,我们可以通过配置一个pclint_project来达到目的。

和前面第一步中的方法基本一样,不过这里我们需要用到unix中的find等命令来查找当前目录下的C和C++文件,然后再将它们送给lint程序处理,所以得先从http://www.weihenstephan.de/~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
arguments: $(FileDir) -name *.c  -o -name *.cpp | C:/unix/usr/local/wbin/xargs lint-nt            -i"c:/unix/usr/local"  -u c:/pclint/std.lnt  c:/pclint/env-vc6.lnt

(iii)Use Output Window打上勾,close退出。好了,这时VC tools菜单下应该又多了一个pclint_project项了,你以后可以用它来对一个VC项目运行lint检查程序了.


(二)SourceInsight中集成pclint程序的方法.

Windows平台下也有好多人都喜欢用SourceInsight编辑C/C++程序,如果将pclint集成到SourceInsight中,那就相当于给SourceInsight增加了一个C/C++编译器,而且它的检查更严格,能发现一些编译器发现不了的问题,可以大大减少程序中潜伏的BUG。这样的话,相信更多人会喜欢SourceInsight这个工具了。

下面简要地介绍下pclint集成到SourceInsight中的方法

有了上面VC中集成pclint的经验, 下面的事情就应该比较轻松了,
(a)打开你的SourceInsight, 选择Options-->Custom Commands-->Add, 输入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++文件进行静态检查。


用类似的方法可以配置对一个SourceInsight工程文件的lint检查。

(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
-i"C:/unix/usr/local" -u c:/pclint/std.lnt  c:/pclint/env-vc6.lnt

(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++文件进行静态检查。

分享到:
评论

相关推荐

    静态检查工具 pc-lint

    **静态检查工具 PC-Lint 知识点详解** PC-Lint 是一款强大的静态代码分析工具...在使用过程中,配合《代码静态分析工具PC-LINT安装配置.doc》文档,可以帮助用户更好地安装、配置和使用PC-Lint,从而发挥其最大效用。

    Keil MDK中使用pc-lint的详细方法.doc

    PC-Lint 是一个静态代码分析工具,能够帮助开发者检测源代码中的错误和问题,从而提高代码的质量和可靠性。在 Keil MDK 中集成 PC-Lint,可以帮助开发者更好地检测和改进代码质量。 PC-Lint 的强大作用 PC-Lint ...

    pc-lint用于sourceinsight上静态代码检测

    PC-lint是一款强大的静态代码分析工具,尤其在C/C++编程语言中广泛应用。本文将深入探讨如何在Source Insight这款流行的源代码编辑器中集成并使用PC-lint进行静态代码检测。 首先,我们要了解PC-lint的基本功能。PC...

    静态代码检查工具 PC-LINT以及sourceinsight中配置

    PC-Lint是一个历史悠久,功能异常强劲的静态代码检测工具。它的使用历史可以追溯到计算机编程的远古时代(30多年以前)。经过这么多年的发展,它不但能够监测出许多语法逻辑上的隐患,而且也能够有效地帮你提出许多...

    PC-LINT9.0在keil5中的使用教程

    在嵌入式软件开发领域,PC-LINT是一款非常著名的代码静态分析工具,它能够帮助开发者发现程序中的语法错误、风格问题以及潜在的bug。KEIL软件是进行ARM微控制器编程的一个集成开发环境(IDE),被广泛应用于嵌入式...

    静态代码检查工具 PC-Lint 及其中文手册

    PC-Lint是一款强大的静态代码分析工具,主要用于C和C++编程语言。它的主要目标是帮助开发者在程序编译之前发现潜在的错误、不规范的编码习惯以及可能影响软件质量和可靠性的问题。通过运行PC-Lint,程序员可以在实际...

    C_C++代码静态检查工具PC-lint在VS2008开发环境中的安装配置和使用

    C_C++代码静态检查工具PC-lint在VS2008开发环境中的安装配置和使用 - 段传涛 - 博客园

    PC-lint puls扫描工具

    PC-lint Plus是一款强大的静态代码分析工具,尤其在C/C++编程语言中广泛应用。它能够帮助程序员发现潜在的编程错误、风格问题、内存泄漏和其他潜在的问题,从而提高软件质量和可维护性。这款工具是由Gimpel Software...

    pclp-1_plus_PClintplus_pclintplus下载_pc-lintplus_pc-lint

    《PC-lint Plus:强大的C/C++代码静态分析工具》 在编程领域,代码质量是决定软件稳定性与安全性的关键因素之一。为了确保代码的健壮性和高效性,开发人员通常会采用各种工具进行辅助检查。其中,"PC-lint Plus"是...

    C++语言代码检查工具PC-Lint简介

    PC-Lint是一款强大的静态代码分析工具,专门用于检查C++语言的源代码,以发现潜在的错误和性能优化点。这款工具的历史悠久,自计算机编程早期就已经存在,经过多年的演进,它已经成为专业软件开发中不可或缺的代码...

    PC-Lint,代码静态测试工具,搞测试的人员必备

    在压缩包文件"pclint"中,可能包含了PC-Lint的安装程序、用户手册、配置文件示例以及可能的更新或补丁。用户可以通过解压这个文件来获取PC-Lint的全部功能,并按照文档指导进行安装和配置,开始对项目的源代码进行...

    PC-lint的安装使用

    PC-lint是一款强大的静态代码分析工具,主要用于C和C++语言的源代码检查。它能够帮助开发者在编译阶段发现潜在的编程错误、风格问题、未初始化的变量、内存泄漏等常见问题,从而提高代码质量和可维护性。这款工具...

    pc-lint 经验(中文)

    静态代码分析工具PC-Lint针对这些问题提供了解决方案,通过对代码进行深度逻辑分析来帮助开发者在早期阶段发现并修复这些潜在错误。本文旨在详细介绍PC-Lint的安装配置方法及其与主流开发环境(如Visual C++, Source...

    PC-LINT代码分析工具

    PC-LINT是一款强大的C/C++代码静态分析工具,它在软件开发领域中被广泛使用,特别是在微软、华为等知名公司,被列为代码质量控制的重要标准。静态分析,顾名思义,是在不执行代码的情况下,通过分析源代码结构来发现...

    pc-lint8.0工具及安装使用说明

    PC-Lint是一款强大的静态代码分析工具,主要用于C和C++编程语言。它由Gimpel Software公司开发,是业界公认的静态代码检查领域的佼佼者,被广泛应用于软件开发过程中的质量保证和错误预防。 **一、PC-Lint的主要...

    PC-Lint安装包.rar

    《PC-Lint详解:一款强大的C/C++静态代码分析工具》 PC-Lint,全称为Gimpel Lint,是一款广泛应用于C/C++编程领域的静态代码分析工具。它以其强大的错误检测能力,帮助程序员在代码编写阶段就发现潜在的问题,从而...

    PC-Lint 9.0i(内置支持VS 2010部分文件)

    PC-Lint是一款在软件开发领域广受推崇的静态代码分析工具,主要用于C和C++语言。版本9.0i是其在2010年的一个重要更新,它在原有功能的基础上增加了对Visual Studio 2010的支持,让开发者能够更有效地检查和优化他们...

    PC-Lint参考资料

    PC-Lint是一款广泛使用的静态代码分析工具,专门针对C和C++编程语言,用于在程序编译之前检测潜在的错误和不良编程习惯。这款工具的强大之处在于它能够深入到代码的各个角落,帮助开发者找出可能导致程序崩溃、内存...

Global site tag (gtag.js) - Google Analytics