PC-lint Plus静态分析工具

大小：24.58M类别：编程软件

官方安全无插件纠错

  • 更新时间2024-03-12
  • 版本v2.0
  • 系统Pc
  • 语言简体中文
请使用电脑访问此页面下载

PC-lint Plus是一个静态分析工具，它通过分析C和C++源代码来发现软件中的缺陷。 像编译器一样，PC-lint Plus解析您的源代码文件，执行语义分析，并构建抽象语法树来表示您的程序。在此基础上，PC-lint Plus采用各种机制（包括数据流分析、抽象解释、值跟踪、读写分析、强类型检查、函数语义验证和许多其他技术）来提供对单个文件和整个项目的强大而全面的分析。 然后，PC-lint Plus使用易于理解的清晰、简洁且可操作的诊断报告其发现。诊断消息格式是完全可定制的，并且包括快速解决缺陷所需的精确位置信息和上下文。PC-lint Plus可以从命令行运行，集成到您的构建流程或持续集成系统中，或者从您的IDE中运行。欢迎下载使用！

软件亮点

1、支持新的自定义指标

2、支持新的定制查询系统

3、扩展的AUTOSAR支持

4、支持Visual Studio 2022

5、增加了C++20支持

软件优势

1、识别广泛的缺陷和漏洞

2、深入分析以发现潜在的bug和可疑代码

3、快速确定根本原因并提供可行的修复措施

4、支持MISRA、AUTOSAR和CERT C等编码标准

5、通过ISO 26262和IEC 61508认证

展开内容

精彩发现

热门推荐

类似软件

  • MAMP PRO(苹果电脑Web开发环境)

    9.1/695.76M

    一款搭建本地服务器环境的组合软件套装

  • MKScript(鼠标键盘自动化脚本解释器)

    9.1/5.17M

    鼠标键盘自动化脚本解释器

  • JetBrains CLion 2024(C/C++集成开发环境软件)

    9.0/1.02G

    JetBrains CLion 2024电脑版是一款JetBrains旗下的提供的跨平台C/C++IDE工具，以IntelliJ为基础设计，是目前最优秀的用于C和C++的跨平台IDE，为用户提供了智能编辑器、自动代码重构、代码分析、评估表达式等多种功能，以C++14(几乎完全支持

  • JetBrains phpStorm 2023(PHP编程软件)

    8.4/458.99M

    phpStorm 2023电脑版是一款强大的php代码编辑器，由 JetBrains 公司开发的一款商业的 PHP 集成开发工具，旨在提高用户效率，可深刻理解用户的编码，提供智能代码补全，快速导航以及即时错误检查。

网友评论

0人参与，0条评论
  • 评论需审核后才能显示

同类排行

  • CX-Programmer(欧姆龙plc编程软件)

    9.0/3.61G

    CX-Programmer，又称欧姆龙plc编程软件，是一款完全免费的PLC编程软件。其适用于已具有电气系统知识（电气工程师或等同者）的负责安装FA系统者、负责设计FA系统者和负责管理和维护FA系统者使用。

  • html help workshop

    9.0/3.3M

    html help workshop是由微软推出的HELP文件工具，而且除了HTML格式的帮助文件以外，用户也能够制作CHM文件，相比较于其他的制作软件，这款要更加方便，特别是CHM帮助文件本身就有html文件的特征。

  • DevEco Studio(鸿蒙开发工具)

    9.1/843.58M

    华为自主研发的鸿蒙操作系统的一个终端开发工具

  • 西门子Wincc7.5

    8.7/17.68G

    西门子Wincc7.5是由SIEMENS(西门子)公司开发的一款极其复杂的SCADA（数据采集与监控）系统，也是第一个使用最新的32位技术的过程监视系统，它具有着良好的开放性和灵活性。

  • visual studio 2010中文旗舰版

    8.0/2.46G

    Vs2010中文旗舰版是微软公司推出的开发工具包，也是目前最流行的Windows平台应用程序开发环境，它拥有一个基本完整的开发工具集，包括了整个软件生命周期(软件的产生直到报废或停止使用的生命周期)中所需要的绝大部分工具，如UML工具、代码管控工具、集成开发环境(IDE)等等，且

  • CNCKAD(CAD/CAM数冲软件)

    8.9/2.14G

    CNCKAD是一款极为出色的数控冲床编程工具，拥有强大的绘图功能，能让用户方便快捷的设计各类数控加工零件；使用直观方便，除标准的绘图功能外还根据钣金的特点增加了一些特殊的绘图方式，如切口、腰圆、三角形、倒角和倒圆角、轮廓捏合、形状的检查编辑及自动修正、汉字切割或冲压、DXF/IG

  • touchwin编辑工具

    9.0/53.83M

    touchwin编辑工具是信捷开发的一款用于自家触摸屏使用的编程软件，它可以编程好用户事先在触摸屏上使用的程序驱动里面的各种连接装置，到时候在配合触摸屏的时候就可以调用你编写好的设置进行使用。

  • JetBrains PyCharm 2024官方版

    8.7/714.88M

    专为Python编程开发人员量身打造的一款专业好用、又功能强大的编程软件。

  • Embarcadero RAD Studio 11.3

    9.5/6.58G

    RAD Studio 11.3是由Embarcadero开发的一个专门为程序开发人员打造的IDE运行环境，具有 C++ 和 Delphi 开发人员喜爱的功能的终极 IDE。

  • Microsoft .NET Framework(微软NET框架运行库)

    9.0/26.53M

    Microsoft .NET Framework是用于Windows的新托管代码编程模型，它强大功能与新技术结合起来，用于构建具有视觉上引人注目的用户体验的应用程序，实现跨技术边界的无缝通信，并且能支持各种业务流程。

  • SharpDevelop(C# IDE开发工具)

    9.0/12.42M

    sharpdevelop是一款用于制作C#和VB.net项目的代码编辑器，软件本身是由C#开发的，而且公开了全部的源码，所以这是一款完全免费的代码编辑器，而且是一款能够将软件本身作为C#学习开发的材料。

  • visual assist X官方版

    9.9/78.59M

    专门为visual studio编程软件所打造的插件，它不仅具有增强Visual Studio开发环境下独具特色的编辑能力，能够轻松的为用户提高生产效率，还能完全集成到用户所使用的Microsoft开发环境中，高效的升级你的IDE

  • keil uvision2中文官方版

    8.7/11.21M

    keil uvision2中文官方版是德国Keil Software公司推出的一款51系列兼容单片机C语言软件开发系统。keil uvision2作为单片机开发的“龙头”作品，在单片机这一款具有着非同凡响的影响力，其拥有着众多在单片机编辑工具中独一无二的功能。

  • linkboy(图形化编程仿真平台)

    9.0/320.38M

    图形化编程仿真平台。

  • EmbedTools软件开发工具

    9.1/5.07M

    EmbedTools是一款功能强大的软件开发工具，它集成了U盘检测器、串口调试器、编码转换、多国语言编辑器等开发工具，可帮助用户更加快速、更加便捷的进行软件开发操作，同时EmbedTools可用于时下最火的嵌入产品开发，也可以作为PC软件开发工具。