Keil使用PC-Lint进行代码检查

179 篇文章 181 订阅

转载自:https://www.cnblogs.com/godan/p/9558907.html

 

        随着项目的推进与迭代,一个Project的代码量往往会不知不觉增长,当项目代码达到数万行,迭代经历较长时间后,仅靠开发人员自身的代码质量已不能满足对整体质量的把控。难以避免会出现一些潜在的逻辑错误与非逻辑错误。这种情况下,定期code review是不错的选择,但是在开发人员数量较少,开发模式趋于敏捷开发的今天,快速迭代,开发人员技术参差不齐,即便选择code review也不能发现大多数潜在风险。如果自己进行全盘代码的review,其难度不亚于将项目重构,此时引入工具就变得迫在眉睫。

  在进行Web开发时,尤其进行js开发时,开发工具会包含‘csslint’,‘eslint’等一些代码质量检测工具,打包过程中会给出一些很有意义的Warning,解决大多数非逻辑性错误造成的功能异常问题。在单片机开发过程中,也有一个代码质量检测神器---‘PC-Lint’,下面来介绍如何在Keil中使用PC-Lint!

  1.下载并安装PC-Lint,再打补丁

下载地址:https://files.cnblogs.com/files/godan/Gimpel_PC_Lint_9.rar ,下载完安装到某个目录中。然后再去官网下载最新的补丁包:https://www.gimpel.com/html/ptch90.htm

把他们都下载下来放到PC-Lint安装路径下。如:C:\lint

然后运行Windows命令行,定位到C:\lint目录,运行:

查看PC-Lint的版本,如上所示是:9.00a

补丁是一个版本到下一个版本的,所以要按照顺序一个一个打,比如要升级到9.00L,那么a-b、b-c、c-d.....k-L的补丁都要打。

命令为:

.

2.在Keil中添加PC-Lint

        根据图中所示,选择好PC-Lint的安装路径,Keil自带的LNT配置文件后点击OK,配置完成。之后就可以点击“Lint all C/C++ Source Files”,愉快地使用PC-Lint神器啦,是不是很简单~~~

  由于C语言的项目中很多时候会用到枚举,goto,指针转换,等类型、方法,所以个人认为提示的好多Warning只供参考,未必需要消除所有PC-Lint提示的Warning,最主要是检查在类型的隐式转换时,变量类型发生精度丢失会不会造成功能异常等一些奇葩问题。

  一般PC-Lint给出的信息会很多,我目前的项目给出的提示信息近5000条,可以先把输出信息拷贝到notepad++中,分别搜索'Info',‘Warning’,'Error',逐一查看,提高效率! 

  • 1
    点赞
  • 16
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Keil MDK中配置PClint的方法如下: 1. 首先,确认你使用的是Keil MDK版本5.24或以上版本。这是因为低于这个版本的Keil MDK界面不一样,无法直接选用规则。 2. 安装PClint 9.0。你可以在网上搜索PClint 9.0的安装教程,按照顺序进行安装。安装过程中,将pclint9setup.exe安装到默认目录C:\lint下,并将patch文件夹下的内容拷贝到C:\lint下。如果你的系统是32位,则执行patch.bat;如果是64位,则执行patch64.bat。执行完成后,会提示升级成功。 3. 打开Keil MDK,选择Tools -> Setup PC Lint。这会弹出PClint的配置界面。 4. 在PC-lint配置界面中,点击红色标注1的区域,选择lint工具。然后点击红色标注2的区域,定位到Keil安装目录下的ARM/bin文件夹中的CO-KCARM.LNT文件,该文件是对应Keil ARM编译器的PClint检查配置文件。最后,点击红色标注3的区域,设置检查规则。例如,你可以选择mirsa 2004规则。设置完成后,点击‘OK’退出。 5. 运行PClint进行检查: - 如果你只想检查当前打开的C源文件,可以选择Tools -> Lint。 - 如果你想检查工程中的所有C源文件,可以选择Tools -> Lint All C Source Files。 6. PClint的信息会显示在Build -> Output窗口中。如果你想定位到相应的源代码行,可以双击Lint信息行编辑器。 以上是在Keil5中配置PClint的详细步骤。参考和提供的内容。<span class="em">1</span><span class="em">2</span><span class="em">3</span> #### 引用[.reference_title] - *1* [Keil MDK使用配置pc-lint记录](https://blog.csdn.net/qq_39687342/article/details/106102078)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 33.333333333333336%"] - *2* [PC-LINT9.0在keil5中的使用教程](https://download.csdn.net/download/u011776903/9675022)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 33.333333333333336%"] - *3* [Keil MDK使用pc-lint的详细方法](https://blog.csdn.net/zhzht19861011/article/details/5930634)[target="_blank" data-report-click={"spm":"1018.2226.3001.9630","extra":{"utm_source":"vip_chatgpt_common_search_pc_result","utm_medium":"distribute.pc_search_result.none-task-cask-2~all~insert_cask~default-1-null.142^v93^chatsearchT3_2"}}] [.reference_item style="max-width: 33.333333333333336%"] [ .reference_list ]

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值