没有合适的资源?快使用搜索试试~ 我知道了~
PC-lint安装及使用总结,介绍代码检查工具 PC-lint 的安装方法、使用说明,非常详细、简单易学。
资源推荐
资源详情
资源评论
PC-lint 研究总结
1. PC-lint 总体介绍............................................................................................................................2
2. 安装和配置....................................................................................................................................2
2.1 安装......................................................................................................................................2
2.2 配置......................................................................................................................................3
3. 使用方法......................................................................................................................................16
3.1 命令行方式........................................................................................................................16
3.2 集成到 IDE 方式................................................................................................................17
3.2.1 集成到 VC 中..........................................................................................................17
3.2.2 集成到 CB 中..........................................................................................................20
3.2.3 集成到 SI 中............................................................................................................24
3.2.4 集成到 UE 中..........................................................................................................28
3.3 makefile 方式.....................................................................................................................29
3.3.1 GNU Make 和 makefile 介绍.................................................................................30
3.3.1.1 GNU Make...................................................................................................30
3.3.1.2 makefile 基本结构.......................................................................................30
3.3.1.3 makefile 变量...............................................................................................32
3.3.1.4 GNU make 的主要预定义变量..................................................................32
3.3.1.5 隐含规则......................................................................................................33
3.3.2 平台的 makefile 结构.............................................................................................34
3.3.2.1 平台级..........................................................................................................34
3.3.2.2 子系统级(以支撑为例).........................................................................35
3.3.2.3 平台 makefile 的调用方式..........................................................................36
3.3.3 平台 makefile 同 PC-lint 的集成............................................................................37
4. 平台推广方案(建议)..............................................................................................................43
4.1 推广使用的前提................................................................................................................43
4.2 个人的使用方案................................................................................................................44
4.3 子系统的检查人的使用方案............................................................................................44
4.4 特殊情况处理方法............................................................................................................44
1. 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 就可被用户方便的移植在各种的平
台上。
2. 安装和配置
2.1 安装
由于此版本比较特殊,故无需安装,只需要将 RAR 压缩包里的所有文件解压到一个目
录下即可,这里假定为 C:\PCLint8 目录。
解压之后目录中文件及目录的说明如下:
lint-nt.exe PC-lint可执行程序;
config.exe 配置向导;
read80.txt 手册的补充说明,最新特性的更新都在这里说明;
pc-lint.pdf PC-Lint英文参考手册,许多问题的答案可以在这里找到;
pr.exe 打印工具;
msg.txt 文本格式的错误号信息解释文件;
patch.exe LINT补丁升级工具;
Lnt\ 包含各种lnt配置文件的目录,文件如下:
co-....lnt 各种特定的编译器的配置文件;
co.lnt 通用的编译器配置文件;
sl-....c 支持各种非ANSI标准编译器的标准库模块;
sl.c 支持ANSI标准的通用编译器的标准库模块;
env-....lnt 支持包括微软Visual Studio在内的各种开发环境以及多种编辑工具的配
置文件;
lib-....lnt 支持各种特定库的配置选项文件;
au-....lnt 作者编程建议的配置文件;
Test\. 包含各种测试源文件的目录。
2.2 配置
假定我们为 Microsoft Visual C++ 6 的开发环境进行配置,运行 C:\PCLint8\config.exe 进
行配置。
1) 运行 C:\PCLint8\config.exe 后出现如下画面,选择下一步;
图 2.2.1
2) 出现命令行使用的说明窗口,选择下一步;
图 2.2.2
说明:LIN.BAT,OPTIONS.LNT,STD.LNT 为成功运行完此配置向导后自动生成的文
件。LINT-NT 实际上就是 LINT-NT.EXE 命令。LIN.BAT 中的命令语句形式还可在 IDE
或编辑器里使用;
3) 选择是创建或修改已有配置文件 STD.LNT 的选项,这里我们是第一次配置,故选
择上面一个选项 Create a new STD.LNT,不修改配置路径,然后选择下一步;
图 2.2.3
说明:界面中配 置 路径不修 改 的话就是 PC-Lint 安装的 路 径 C:\PCLint8 ,新建 的
STD.LNT 就存放在这个目 录下,当然用户也可 选择另外的配置路径存放生成的
STD.LNT。
4) 接下 来是选择编 译器,在 下 拉 框中选择 自己使用的 编译器。 这里 我 们选择
Microsoft Visual C++ 6.x (co-msc60.lnt),点击下一步;
剩余44页未读,继续阅读
资源评论
fanyi6666
- 粉丝: 2
- 资源: 17
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功