打印
[开发工具]

KEIL MDK如何使用PC-Lint代码检查工具

[复制链接]
96|0
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
糊糊糊锅|  楼主 | 2024-12-30 16:22 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
本帖最后由 糊糊糊锅 于 2024-12-30 17:28 编辑

#技术资源#
(详见附件文档,编辑工具实在过于难用)
一、前言
当我们做一些代码编辑工作时,经常会因为不小心粗心大意而造成一些不容易发现的错误(潜意识认为没问题、编译器编译没报错(一些除了语法等其他问题)),至此有专门的代码检测工具,尽可能的为我们指出错误。特别是工业和汽车上对于软件安全性和可靠性要求高的场景,有的厂商开始提出需要满足MISRA C编程规范。
二、什么是PC-Lint?
PC-Lint 是 GIMPEL 公司针对于C/C++开发的一款 静态代码检测工具。
静态代码检查:即代码未运行前,编写好后 进行检查
C/C++语言的语法拥有其它语言所没有的灵活性,这种灵活性带来了代码效率的提升,但相应增加了代码中存在隐患的可能性。
静态代码检查工具 PC-Lint 它能够发现代码中潜在的错误,比如 数组访问越界、内存泄漏、越界、使用未初始化变量等。
总结概括下:PC-Lint是更加严格规范的编译器
三、在KEIL-MDK中集成PC-Lint工具
1.安装PC-Lint工具
一路点next即可
2.打开KEIL-MDK进行简单设置
①选择菜单TOOLS->set-up PC-Lint

②在弹出的界面中进行相应的配置,PC-Lint命令参数可以先放空,需要屏蔽部分规范错误可以查看PC-Lint命令。

四、使用PC-Lint工具

五、PC-Lint检查结果



KEIL MDK如何使用PC-Lint代码检查工具.pdf

527.23 KB

使用特权

评论回复
发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

9

主题

17

帖子

1

粉丝