Keil MDK中使用pc-lint的详细方法

keil MDK版本：V4.03，下载地址见我的其他博文

PC-lint版本：  V8.0

 

关于pc-lint的强大作用，网上有很多，这里不想再复述，只说一句：能通过pc-lint检验的程序不一定没有问题，但通过了pc-lint检验的程序，质量的提高也是不言而喻的。

 

首先安装keil MDK和PC-lint这两个软件，网上的PC-lint大多是安装好的压缩包，直接解压到C盘即可。请支持正版！！（咳，心虚中...）

 

方法十分简单，因为keil MDK中已经给出了pc-lint对应keil ARM编译器的配置文件：CO-KCARM.LNT。

 

首先打开mdk，选择Tools – Setup PC Lint，弹出如图1所示的PC-lint配置界面。

 

                        图1 PC-lint配置界面

点击图1中红色1所标注的区域，选择lint工具；再点击图1中红色2所标注的区域，定位到keil安装目录下/ARM/bin文件加下的CO-KCARM.LNT文件，该文件为对应的keil ARM编译器的PC-lint检查配置文件。最后点击‘OK’退出，设置完成。

 

运行PC-lint检查工程内的源程序：Tools – Lint …用于检查编辑器打开的当前C源文件，Tools – Lint All C Source Files用于检查工程中所有C源文件。PC-Lint得到的信息将重新定位到Build – Output窗口中显示。双击Lint信息行编辑器将会定位到相应的源代码行。

我的这个程序，本来编译器是0个错误，1个警告（），经过pc-lint检查后，错误、警告和其他信息有好几百条，冒汗中...