PC-Lint

PC-lint是用于检查C/C++源代码,找出错误、缺陷等问题的强大静态分析工具。

产品类型: 软件 产品功能: 测试分析 平台语言: 源码: 不提供源码 产品编号: 13559
  • 当前版本:v9.0 [销售以商家最新版为准,如需其他版本,请来电咨询]
  • 开  发 商:Gimpel Software 正式授权

关于本产品的分类与介绍仅供参考,具体以商家网站介绍为准。加企业QQ:800018081 咨询该产品

中文   |   英文

PC-lint的全称为PC-lint/FlexeLint,它是一款功能强大的静态分析工具,可用于检查C/C++源代码,找出其中的错误、缺陷、不一致、冗余结构和代码等问题。它能够跨越多个模块,因此能够从编译器无法看到的角度去发现问题。在Windows平台上使用的PC-lint被称为PC-lint for C/C++;在所有的Unix和类Unix系统平台使用的PC-lint被称为FlexeLint for C/C++

需要培训、定制、外包?请联系我们!企业QQ:800018081 慧都专业技术团队帮助您提高效率,节省成本,降低风险!
PC-lint

使用平台:

PC-lint for C/C++:

  • Windows 7 / Vista / XP / NT / 2000 / 98 / 95 / ME

  • DOS (内置DOS扩充器)

FlexeLint for C/C++:

  • Unix和类Unix平台 
    (Linux, AIX, HP-UX, Solaris, Tru64 Unix, MAC等)

  • OpenVMS

  • 嵌入式系统

  • 几乎所有支持C的平台

兼容性:

  • 支持K&R C, ANSI C, ANSI/ISO C++。

  • 明确支持Microsoft、GCC和大多数其它主要的编译器和库。

  • 支持大多数嵌入式系统编译器。

  • 包含支持各种个性化编译器的选项。

  • 可指定跨平台编译的标量大小。

功能亮点:

  • 自动变量与静态变量(甚至是全局变量)的数值跟踪能够检测精细的初始化与数值误用问题。

  • 跨函数数值跟踪(Inter-function Value Tracking):强大的数值跟踪方法,可跨越函数边界对代码语句中的数值进行跟踪。在数值被确定之后,函数将会被调用,而这些数值将作为初始参数。

  • 多通道传递(Multi-Pass):为了充分利用跨函数数值追踪和静态变量追踪的优点,引入了多通道传递操作的方法。用户能够控制传递的数量。(见设计者的手册

  • 使用数值跟踪作为授权技术,我们支持对近100个函数库使用语义检查,这个检查能够扩展到用户的函数。(见函数模拟

  • 可选强类型检测(基于类型定义):具有用于检测名称上的类型差异的丰富选项设置。你甚至可以只使用类型定义来产生一个类型结构被全面检查的数值类型。

  • 用户定义的语义检查可用于函数参数和返回值。

  • 能够在整个项目中寻找未使用的宏、类型定义、类、成员、声明等等。(见weak definials

  • 可检查控制流以确定变量是否初始化。

  • 完全支持MISRA C和MISRA C++ (TM)标准 (汽车行业软件可靠性协会标准)。

  • 支持其它严格的特殊测试。

处理速度:

使用预编译的头文件能够处理多个模块。

消息的激活与抑制方式:

  • 通过消息编号

  • 通过消息编号与符号名称(包含通配符)

  • 通过消息编号与符号类型

  • 通过消息编号与参数

  • 单线抑制

  • 通过宏名称

  • 在头文件使用消息编号(头文件基于需要包含的库,可通过用户选项进行覆盖)

  • 在特定的函数使用消息编号

  • 通过表达式

灵活性:

  • 支持含有文件名称、选项和环境变量的任何层次的嵌套文件。

  • 在Lint中错误消息的格式可进行自定义化,支持与各种编辑器和IDE的集成。

  • 所有的选项都可嵌入进用户代码。

性能

  • 对于跨函数的数值跟踪可通过多通道传递选项进行快速的单通道传递(将数量设置为1)

  • 健壮:表格可根据大型应用程序的处理需求进行扩展。

类型 标题 发布时间
版本更新 PC-Lint v9.0

PC-Lint更新至v9.0

2015-10-20
文章 C++代码质量扫描主流工具深度比较

统计证明,在整个软件开发生命周期中,30%至70%的代码逻辑设计和编码缺陷是可以通过静态代码分析来发现和修复的。 本文中,将对C++代码质量扫描主流工具进行深度对比。

2016-06-02
文章 315安全质量月 精选产品6折起

3.15来临之际,慧都推出安全质量月大型促销活动,4月15日前,购买精选软件/ 控件产品6折起。慧都承诺,捍卫知识产权,只售正版。

2016-03-15

更新时间:2016/4/15 14:57:27 | 录入时间:2015-05-27 | 责任编辑:邹家俊 给他留言或建议

客服
开发商其他产品
  • PC-Lint

    PC-lint是用于检查C/C++源代码,找出错误、缺陷等问题的强大静态分析工具。

同类产品
  • Telerik Test Studio

    一个用于功能性Web、桌面和移动测试的直观测试自动化工具。

  • TestComplete Desktop

    TestComplete是一款自动化功能测试平台。TestComplete Desktop可以在任何桌面应用程序上创建、管理和运行自动化测试。

  • CodeReviewer

    CodeReviewer是一款免费的代码审查工具,适合小型团队使用。

  • TestServer

    TestServer是一款API代码分析测试的工具,帮助您提高API的完整性。

  • HP Performance Center(HP PC)

    HP Performance Center 软件是一款企业级性能测试平台。设计用于推动标准化进程、集中式管理、全球协作以及形成卓越的性能测试中心。

  • Fortify on Demand

    Fortify on Demand是一款移动应用和web的安全测试软件。

  • AppPulse Mobile

    AppPulse Mobile是一款针对移动应用性能分析的软件。

  • AppPulse Active

    AppPulse Active是一款从最终用户角度即时监控网站、云和 SaaS 服务的软件。

  • AppPulse Diagnostics

    AppPulse Diagnostics是一款企业级的漏洞检测软件。深入了解影响您的事物性能的代码、数据库调用和第三方服务。

  • AlertSite

    AlertSite是一款领先的综合监测软件,可用于APIs、移动和Web应用程序。

联系我们


官方微信
官方微博

慧都旗下网站

友情链接

慧都科技有限公司 版权所有 Copyright 2003-2017 渝ICP备12000582号 | 京公网安备 11010102002019号
100%正版软件