白盒测试工具Pclint.pptVIP

白盒测试工具 Pc lint Pc lint PCLint/FlexeLint for C/C++是GIMPEL SOFTWARE公司的产品 PC-Lint是一个历史悠久，功能异常强劲的静态代码检测工具。 它的使用历史可以追溯到计算机编程的远古时代（30多年以前）。 经过这么多年的发展，它不但能够监测出许多语法逻辑上的隐患，而且也能够有效地提出许多程序在空间利用、运行效率上的改进点， 在很多专业级的软件公司，比如Microsoft， PC-Lint检查无错误无警告是代码首先要过的第一关 Pc lint的特点 1) PC-Lint是一种静态代码检测工具，可以说，PC-LINT是一种更加严格的编译器，不仅可以象普通编译器那样检查出一般的语法错误，还可以检查出那些虽然完全合乎语法要求，但很可能是潜在的、不易发现的错误。 2) PC-lint不但可以检测单个文件，也可以从整个项目的角度来检测问题，PC-Lint在检查当前文件的同时还会检查所有与之相关的文件 3) PC-lint支持几乎所有流行的编辑环境和编译器，比如Borland C++从1.x到5.x各个版本、Borland C++ Build、GCC、VC，VC.net、watcom C/C++、Source insight、intel C/C++等等， 4) 支持Scott Meyes的名著（Effective C++/More Effective C++）中说描述的各种提高效率和防止错误的方法。 使用方法 可以用命令行方式进行，例如lint-nt –u std.lnt test1.c test2.c test3.c 。 另外支持MAKEFILE方式。 也可以集成到开发环境中。 Source Insight SLICKEDIT MS VC6.0 KEIL C.. 等 操作平台 PC-lint for C/C++: Windows NT/ 95/ 98/ 2000/ ME DOS OS/2 (32 bit) FlexeLint for C/C++: Unix 和Unix-like 平台 (AIX, HP-UX, Sun OS, Solaris, LINUX, Tru64 Unix, SCO, etc.) VAX VMS IBM’s VM, MVS OS-9 其他支持c编译器的平台 兼容性 支持KR C, ANSI C, ANSI/ISO C++ 直接支持Microsoft, GNU和大多数其他主流的编译器和库 支持大多数主流嵌入式系统的编译器 拥有很多支持异类编译器的选项 功 能 数据检查技术可检测变量初始化和数据误用的问题 全局数据流跟踪技术，可跨越函数和函数之间的界限进行数据处理流程的分析 可对100个左右的库函数进行检查，这些检查还可以扩展到用户函数上。强化类型检查，并可进行设置检查级别选项 函数变量和返回值的用户自定义语句检查 找出没有用的宏，类型定义，类，成员变量/函数，声明等等。 PC-Lint可以帮助我们自动查找代码中的可能存在的很多问题， 包括变量值未初始化、 数组访问越界、 空指针访问、 内存泄漏等问题。 它可以帮我们检查代码中可能潜在的问题，修正模糊或者不正确的设计。 PC-Lint8.0的安装 由于此版本比较特殊，故无需安装，只需要将RAR压缩包里的所有文件解压到一个目录下即可，这里定为C:\PCLint8目录。 解压之后目录中文件及目录的说明如下： lint-nt.exe PC-lint可执行程序； config.exe 配置向导； read80.txt 手册的补充说明，最新特性的更新都在这里说明； pc-lint.pdf PC-Lint英文参考手册，许多问题的答案可以在这里找到； pr.exe 打印工具；. msg.txt 文本格式的错误号信息解释文件； patch.exe LINT补丁升级工具； PC-Lint8.0的安装 Lnt\ 包含各种lnt配置文件的目录，文件如下： co-....lnt 各种特定的编译器的配置文件； co.lnt 通用的编译器配置文件； sl-....c 支持各种非ANSI标准编译器的标准库模块； sl.c 支持ANSI标准的通用编译器的标准库模块； env-....lnt 支持包括微软Visual Studio在内的各种开发环境以及多种编辑工具的配置文件； lib-....lnt 支持各种特定库的配置选项文件； au-....lnt 作者编程建议的配置文件； Test\. 包含各种测试源文件的目录。 配置 运行C:\PCLint8\config.exe进行配置 出现命令行使用的说明窗口，选择下一步 选择是创建或修改已有配置文件STD.LNT的