本帖最后由 糊糊糊锅 于 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检查结果
|