PClint安及使用总结.docVIP

PC-lint研究总结 TOC \* MERGEFORMAT 1. PC-lint总体介绍 PAGEREF _To\h 2 2. 安装和配置 PAGEREF _To\h 2 2.1 安装 PAGEREF _To\h 2 2.2 配置 PAGEREF _To\h 3 3. 使用方法 PAGEREF _To\h 14 3.1 命令行方式 PAGEREF _To\h 14 3.2 集成到IDE方式 PAGEREF _To\h 15 3.2.1 集成到VC中 PAGEREF _To\h 15 3.2.2 集成到CB中 PAGEREF _To\h 17 3.2.3 集成到SI中 PAGEREF _To\h 20 3.2.4 集成到UE中 PAGEREF _To\h 23 3.3 makefile方式 PAGEREF _To\h 24 3.3.1 GNU Make和makefile介绍 PAGEREF _To\h 24 3.3.1.1 GNU Make PAGEREF _To\h 24 3.3.1.2 makefile 基本结构 PAGEREF _To\h 25 3.3.1.3 makefile 变量 PAGEREF _To\h 26 3.3.1.4 GNU make 的主要预定义变量 PAGEREF _To\h 26 3.3.1.5 隐含规则 PAGEREF _To\h 27 3.3.2 平台的makefile结构 PAGEREF _To\h 27 3.3.2.1 平台级 PAGEREF _To\h 28 3.3.2.2 子系统级（以支撑为例） PAGEREF _To\h 28 3.3.2.3 平台makefile的调用方式 PAGEREF _To\h 29 3.3.3 平台makefile同PC-lint的集成 PAGEREF _To\h 29 4. 平台推广方案（建议） PAGEREF _To\h 34 4.1 推广使用的前提 PAGEREF _To\h 34 4.2 个人的使用方案 PAGEREF _To\h 34 4.3 子系统的检查人的使用方案 PAGEREF _To\h 34 4.4 特殊情况处理方法 PAGEREF _To\h 34  PC-lint总体介绍 PC-Lint/FlexeLint for C/C++是GIMPEL SOFTWARE公司的产品，是C/C++软件代码静态分析工具，你可以把它看作是一种更加严格的编译器。它除了可以检查出一般的语法错误外，还可以检查出那些虽然符合语法要求，但很可能是潜在的、不易发现的错误。 C语言的灵活性带来了代码效率的提升，但相应带来了代码编写的随意性，另外C编译器不进行强制类型检查，也带来了代码编写的隐患。PC-Lint识别并报告C语言中的编程陷阱和格式缺陷的发生。它进行程序的全局分析，能识别没有被适当检验的数组下标，报告未被初始化的变量，警告使用空指针，冗余的代码，等等。软件除错是软件项目开发成本和延误的主要因素。PC-lint能够帮你在程序动态测试之前发现编码错误。这样消除错误的成本更低。 PC-lint全球拥有广泛的客户群，因为它性价比高，易于学习，容易推广和固化到软件开发测试流程中去。使用方法很简单，可以用命令行方式进行，例如lint-nt –u std.lnt test1.c test2.c test3.c 。 另外支持MAKEFILE方式。也可以集成到开发环境中。如集成到Source Insight/SLICKEDIT/MS VC6.0/KEIL C..等。 如微软公司，都把它作为程序检查工具，在程序合入正试版本或交付测试之前一定要保证通过了LINT检查，他们要求软件工程师在使用LINT时要打开所有的编译开关，如果一定要关闭某些开关，那么要给出关闭这些开关的正当理由。 由于越来越多的用户要求能在非PC的平台上使用PC-Lint，GIMPEL公司采用了标准C源码包的方式发布了FlexeLint，这样一来，FlexeLint就可被用户方便的移植在各种的平台上。 安