(3)在source 中添加并同步source insight工程 二、在source insight中集成PC-lint 编完代码之后就可以编译调试了,都搞定之后,可以使用PC-lint进行静态检查,...以进一步减少潜在的错误,为了方便时候可以在source insight中集成PC-lint命令,并给它设置一个快捷键,这样使用起来就方便了。...(1)安装好source insight之后,下载一个无需安装版本的PC-lint,然后将其复制到C盘根目录。...这回在help菜单中就可以直接看到PC-lint的按钮了。...这样以后使用ctrl+p就可以直接调用PC-lint进行静态检查了。 如,下面这个提示:表示num1和num2都没有初始化,n定义了但是没有使用。 ?
这就是本文要介绍的主角--PC-lint。 PC-lint简介 PC-Lint 是GIMPEL SOFTWARE公司开发的C/C++软件代码静态分析工具。...PC-lint除了能够发现诸如未初始化变量、数组越界、内存泄漏等问题,还能提出许多对程序运行效率,空间等方面的改进点。下面就简单介绍一下如何使用PC-lint。...如何使用PC-lint PC-lint能够在Windows、MS-DOS和OS/2平台上使用,Linux平台可使用FlexeLint、Splint等替代工具。本文介绍仅PC-lint的使用。...PC-lint屏蔽警告的方法很多,这里不再详述。...本文本意为介绍PC-lint的用途,因此对PC-lint的详细使用并没有做过多介绍,有兴趣的读者可以参考网上的资料进行配置学习,PC-lint所报的警告号都可以通过官方PC-lint错误码查看其含义,帮助修正我们的程序
(把path改成ubuntu需要共享的路径) #dx_add [share] comment = my share for pc-lint path = /mnt/share/hdd2 browseable
C/C++,Java等等语言都有自己的代码质量检测工具,例如Cppcheck,PC-Lint,Splint等等,Golang语言出现时间不实很长,这方面的生态还不是非常完善,当然,对golang比较关注的同学应该听说过
case 1: // 这一行被当作是注释了,导致case分支判断失败,走到了default分支 break; default: break; } ---- C代码最好是能做一次PC-lint
例如由Gimpel Software公司开发维护的PC-lint:https://pclintplus.com/,用来检查代码是否遵循 MISRA C(一套 C 语言代码规范)。
PC-Lint由Gimpel Software公司开发,可以检查C代码的语法和语义并给出潜在的BUG报告。PC-Lint可以显著降低调试时间。...目前公司ARM7和Cortex-M3内核多是使用Keil MDK编译器来开发程序,通过简单配置,PC-Lint可以被集成到MDK上,以便更方便的检查代码。...MDK已经提供了PC-Lint的配置模板,所以整个配置过程十分简单,Keil MDK开发套件并不包含PC-Lint程序,在此之前,需要预先安装可用的PC-Lint程序,配置过程如下: 点击菜单Tools—Set-up...PC-Lint… ?...PC-Lint Include Folders:该列表路径下的文件才会被PC-Lint检查,此外,这些路径下的文件内使用#include包含的文件也会被检查; Lint Executable:指定PC-Lint
7、PC-lint Plus 2.0发布 https://pclintplus.com/downloads/ 主要用于C/C++的静态代码分析。
awdtools/purify/ Windows 是一个面向VC, VB或者Java开发的测试Visual C/C++ 和Java 代码中与内存有关的错误,确保整个应用程序的质量和可靠性 pc-lint
Purify 功能:内存检查工具 参考文献: http://blog.csdn.net/haoel/archive/2003/12/16/2904.aspx 【10】 名称:pc-lint
社区已经创建了数十个静态检查器:Astrée、Clang-Tidy、CLazy、CMetrics、Cppcheck、Cpplint、CQMetrics、ESBMC、FlawFinder、Flint、IKOS、Joern、PC-Lint
领取专属 10元无门槛券
手把手带您无忧上云