(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元无门槛券
手把手带您无忧上云
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM
