以前也接触过代码检查的软件,但大都比较繁琐,或者找不到免费的,所以没有继续研究。今天一同事发现了PC-Lint,集合到keil里面,用起来很方便,很好用,功能也挺强。谁都可能帮到你,认真对待每一位同事。

PC-lint的warning,info等信息都可以过滤,方法是在配置文件里添加和删除选项,比如使用keil的realview编译器时,配置文件是Keil\ARM\BIN\CO-RV.LNT。

举例:要过滤Info 830: Location cited in prior message    这类信息,

则在配置文件里添加  -e830

相反要看到这个信息,则 +e830

下面是网友给的安装使用方法。

--  作者:yalta
--  时间:2007-04-08 19:40:04
--  [原创][下载]Keil工具PC-Lint 8.00v
PC-Lint的最新版8.00v,虽说是最新,但也是06年12月9日更新的。官方不提供PC-Lint免费下载或试用版下载,除非交$239,才提供下载地址。但PC-Lint却可以免费升级,只要从官方网站下载升级文件即可。根据其官方说明书中介绍的安装目录的内容,我利用升级文件把从网上找来的Lint-NT.exe升级到最新的8.00v,又从官方网站上下载了其它文件,组成了现在的PC-Lint 8.00v。
PC-Lint 8.00v包含文件:
PC-Lint 8.00v
│ bugfix80.txt
│ config.exe
│ LINT-NT.EXE
│ msg.txt
│ MsgRef.htm
│ patch.exe
│ pc-lint.pdf
│ pr.exe
│ read80.txt
├─ansi
├─lnt
└─posix
以上文件均为最新版本,除LINT-NT.EXE外均从官方下载。LINT-NT.EXE是从网上下载的其它版本中提取出来的,利用升级文件升到最新版。与正式版无区别。
PC-Lint简介
C/C++语言的语法拥有其它语言所没有的灵活性,这种灵活性带来了代码效率的提升,但相应也使得代码编写具有很大的随意性,另外C/C++编译器不进行强制类型检查,也不做任何边界检查,这就增加了代码中存在隐患的可能性。如果能够在代码提交测试之前发现这些潜在的错误,就能够极大地减轻测试人员的压力,减少软件项目的除错成本,可是传统的C/C++编译器对此已经无能为力,这个任务只能由专用的代码检查工具完成。
PC-Lint是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具,它的全称是PC-Lint/FlexeLint for C/C++,PC-Lint能够在Windows、MS-DOS和OS/2平台上使用,以二进制可执行文件的形式发布,而FlexeLint运行于其它平台,以源代码的形式发布。PC-lint在全球拥有广泛的客户群,许多大型的软件开发组织都把PC-Lint检查作为代码走查的第一道工序。PC-Lint不仅能够对程序进行全局分析,识别没有被适当检验的数组下标,报告未被初始化的变量,警告使用空指针以及冗余的代码,还能够有效地帮你提出许多程序在空间利用、运行效率上的改进点。
下载方法:
由于上传附件大小限制,我申请了一个公共邮箱,用邮箱的附件上传了PC-Lint。请大家登陆邮箱下载附件。请不要更改邮箱密码,以便别人能够顺利下载。
☆☆ 回复贴内容不能打印预览 ☆☆

[本贴已被 作者 于 2007年04月12日 17时33分40秒 编辑过]
--  作者:yalta
--  时间:2007-04-08 19:51:05
--  Keil μVision3 使用PC-Lint的方法
1. 打开Keil μVision3,并打开需要检查的Project。
2. 打开Tools菜单,选择Setup PC-Lint...,打开PC-Lint Options窗口。
3. 点击右上角的四个编辑图标(New, Delete, Move Up, Move Down)来设置PC-Lint Include Folders。根据C源程序文件中包含的头文件(.h)名称来定位到“C:\Keil\C51\INC\”目录下相关文件夹(包括INC文件夹本身)。如:“C:\Keil\C51\INC\”和“C:\Keil\C51\INC\Atmel\”。
4. 设置Lint Executable路径为:“X:\(PC-Lint所在目录)\LINT-NT.EXE”,Configuration File路径 为:“C:\Keil\C51\BIN\CO-KC51.LNT”。
5. 点击Tools-->Lint...可以在当前的C源程序文件中运行PC-Lint。点击Tools-->Lint All C-Source Files可以在Project的所有C源程序文件中运行PC-Lint。
6. 运行PC-Lint后,检查信息在Output Window中的Build栏中显示。双击信息的任意一行,编译器会自动 定位到相对应的程序段代码上。
7. 根据信息编号,可以在msg.txt中查阅相关信息的说明

posted on 2010-06-30 21:56  xilentz  阅读(3975)  评论(5编辑  收藏  举报