pc-lint安装及使用总结

pc-lint安装及使用总结

ID:22583690

大小:1.75 MB

页数:38页

时间:2018-10-30

pc-lint安装及使用总结_第1页
pc-lint安装及使用总结_第2页
pc-lint安装及使用总结_第3页
pc-lint安装及使用总结_第4页
pc-lint安装及使用总结_第5页
资源描述:

《pc-lint安装及使用总结》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库

1、PC-lint研究总结1.PC-lint总体介绍22.安装和配貫22.1安装22.2酉己S33.使用方法143.1命令行方式143.2集成到IDE方式153.2.1集成到VC中153.2.2集成到CB中173.2.3集成到SI屮203.2.4集成到UE中233.3makefile方工、243.3.1GNUMake和makefile介绍243.3.1.1GNUMake243.3.1.2makefile基本结构253.3.1.3makefile变量263.3.1.4GNUmake的主要预定义变量263.3.1.

2、5隐含规则273.3.2平台的makefile结构273.3.2.1平台级283.3.2.2子系统级(以支撑为例)2833.2.3平台makefile的调用方式293.3.3平台makefile同PC-lint的集成294.平台推广方案(建议)344.1推广使用的前提344.2个人的使用方案344.3子系统的检查人的使用方案344.4特殊情况处理方法34PC-lint总体介绍PC-Lint/FlexeLintforC/C++是G1MPELSOFTWARE公司的产品,是C/C++软件代码静态分析工具,你可以把

3、它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外,还可以检查出那些虽然符合语法要求,但很可能是潜在的、不易发现的错误。C语言的灵活性带来了代码效率的提升,但相应带来了代码编写的随意性,另外C编译器不进行强制类型检查,也带来了代码编写的隐患。PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析,能识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针,冗余的代码,等等。软件除错是软件项FI开发成本和延误的主要因素。PC-lint能够帮你在程序动态测试之前发

4、现编码错误。这样消除错误的成本更低。PC-lint全球拥有广泛的客户群,因为它性价比高,易于学习,容易推广和固化到软件开发测试流程巾去。使用方法很简单,可以用命令行方式进行,例如lint-nt-ustd.lnttestl.ctest2.ctest3.c。另外支持MAKEFILE方式。也川‘以集成到开发环境中。如集成到SourceInsight/SLICKEDIT/MSVC6.0/KEILC.•等。如微软公司,都把它作为程序检查工具,在程序合入正试版本或交付测试之前一定要保证通过了LINT检查,他们要求软件工

5、程师在使用LINT吋要打开所有的编译开关,如果一定要关闭某些开关,那么要给出关闭这些开关的正当理由。巾于越來越多的用户要求能在非PC的平台上使用PC-Lint,GIMPEL公司采用了标准C源码包的方式发布了FlexeLint,这样一来,FlexeLint就可被用户方便的移植在各种的平台上0安装和配置2.1安装巾于此版本比较特殊,故无需安装,只需要将RAR压缩包里的所有文件解压到一个目录下即可,这里假定为C:PCLint8目录。解压之后目录中文件及目录的说明如下:lint-nt.exePC-lint可执行程

6、序;config.exe配置向导;read80.txt手册的补充说明,最新特性的更新都在这里说明;pc-lint.pdfPC-Lint英文参考手册,许多问题的答案可以在这里找到;pr.exe打印工具;msg>txt文本格式的错误号信息解释文件;patch.exeL工NT补丁升级工具;Lnt包含各种lnt配置文件的FI录,文件如下:co-...•lnt各种特定的编译器的配置文件;co.lnt通用的编译器配罝文件;si-...•c支持各种非ANSI标准编译器的标准库模块;si.c支持ANSI标准的通用编译器的

7、标准库模块;env-....lnt支持包拈微软VisualStudio在内的各种开发环境以及多种编辑工共的配罝文件;lib-....lnt支持各种特定库的配置选项文件;au-....lnt作者编程建议的配置文件;Test.包含各种测试源文件的目录。2.2配置假定我们为MicrosoftVisualC++6的开发环境进行0d置,运行C:PCLint8config.exe进行配罝。1)运行C:PCLint8config.exe后出现如下画面,选择下一步;图2.2.12)出现命令行使川的说明窗口,选择下

8、一步;xjPC-lintforC/C++v8.00Thisconfigurationwizardwillbuildthefollowingfilesbasedonyourresponsestoourquestions.LIN.BATPC"lintbatchfiledescribedbelowOPTIONS.LNTcontainserrorsuppressionoptions(usedbySTD.LNT)Thepu

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。