首页
学习
活动
专区
圈层
工具
发布
    • 综合排序
    • 最热优先
    • 最新优先
    时间不限
  • 来自专栏软件开发 -- 分享 互助 成长

    source insigt、pc-lint、VS联合使用

    (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定义了但是没有使用。 ?

    2.5K90发布于 2018-02-05
  • 来自专栏编程珠玑

    代码中%80的非逻辑性代码都可以被它发现

    这就是本文要介绍的主角--PC-lintPC-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错误码查看其含义,帮助修正我们的程序

    1.9K40发布于 2019-09-03
  • 来自专栏开源519

    samba

    (把path改成ubuntu需要共享的路径) #dx_add [share] comment = my share for pc-lint path = /mnt/share/hdd2 browseable

    2.4K20发布于 2020-07-23
  • 来自专栏人人都是架构师

    Go每日一库之89:goreporter

    C/C++,Java等等语言都有自己的代码质量检测工具,例如Cppcheck,PC-Lint,Splint等等,Golang语言出现时间不实很长,这方面的生态还不是非常完善,当然,对golang比较关注的同学应该听说过

    55840编辑于 2023-09-30
  • 来自专栏呱牛笔记

    JNI使用内存相关问题记录

    case 1: // 这一行被当作是注释了,导致case分支判断失败,走到了default分支     break;     default:     break; } ---- C代码最好是能做一次PC-lint

    57120编辑于 2023-05-02
  • 来自专栏希里安

    一文了解Lint

    例如由Gimpel Software公司开发维护的PC-lint:https://pclintplus.com/,用来检查代码是否遵循 MISRA C(一套 C 语言代码规范)。

    1.3K11编辑于 2023-10-30
  • 来自专栏用户8907256的专栏

    目前CSDN上最全面的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

    2.9K21发布于 2021-08-13
  • 来自专栏安富莱嵌入式技术分享

    《安富莱嵌入式周报》第298期:迷你火星探测器,开源单片机3D实时渲染库, 开源USB工业相机,VS2022开始支持MarkDown,PC-lint 2.0发布

    7、PC-lint Plus 2.0发布 https://pclintplus.com/downloads/ 主要用于C/C++的静态代码分析。

    64640编辑于 2023-01-08
  • 来自专栏渗透云笔记

    代码审计工具汇总

    awdtools/purify/ Windows 是一个面向VC, VB或者Java开发的测试Visual C/C++ 和Java 代码中与内存有关的错误,确保整个应用程序的质量和可靠性 pc-lint

    4.6K20发布于 2021-05-14
  • 来自专栏Eureka的技术时光轴

    Linux调试工具

    Purify 功能:内存检查工具 参考文献: http://blog.csdn.net/haoel/archive/2003/12/16/2904.aspx 【10】 名称:pc-lint

    11.4K43发布于 2019-07-24
  • 来自专栏信数据得永生

    面向 C++ 的现代 CMake 教程(四)

    社区已经创建了数十个静态检查器:Astrée、Clang-Tidy、CLazy、CMetrics、Cppcheck、Cpplint、CQMetrics、ESBMC、FlawFinder、Flint、IKOS、Joern、PC-Lint

    2K00编辑于 2024-05-26
领券