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。请大家登陆邮箱下载附件。请不要更改邮箱密码，以便别人能够顺利下载。
邮箱地址：yalta.willar@163.com  邮箱密码：yalta123456
 

 

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中查阅相关信息的说明。