PC-lint Plus (产品编号:13559)

PC-lint Plus是针对C和C ++的综合静态分析解决方案

标签:代码优化静态检测工具

开发商: Gimpel Software

当前版本: v1.3.5

产品类型:软件

产品功能:测试分析

平台语言:英语

开源水平:不提供源码

本产品的分类与介绍仅供参考,具体以商家网站介绍为准,如有疑问请来电 023-68661681 咨询。

PC-lint Plus

针对C和C ++的综合静态分析解决方案

符合安全标准

识别缺陷和漏洞

查找潜在的错误

提高开发人员效率

广泛兼容

扩展性强

安全保障

IOS和IEC认证

PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。

850-100.jpg

声明:本产品中文介绍为慧都网版权所有,未经慧都公司书面许可,严禁拷贝、转载!

需要培训、定制、外包?

请联系我们!企业QQ:800018081


慧都专业技术团队帮助您提高效率,节省成本,降低风险!

* 关于本产品的分类与介绍仅供参考,精准产品资料以官网介绍为准,如需购买请先行测试。

符合安全标准

符合安全标准

PC-lint Plus能够检查违反内部指引代码以及分析符合行业标准,如 MISRA ®、AUTOSAR ®和CERT ® ç。有关哪些规则受支持,哪些消息用于报告违规以及规则受支持的程度的详细信息,请参见我们的手册和配置文件。

可以配置一千多种可定制的消息,以支持许多不同的代码准则。例如,将大括号用于控制结构,在条件表达式中进行赋值,明确说明运算符的优先级等。可以在可重用的配置文件中指定所需消息的确切集合,以在项目和团队之间共享。

PC-lint Plus为MISRA标准提供了业界领先的支持,包括MISRA C 2012,MISRA C 2004和MISRA C ++ 2008以及其附录和勘误表。我们与MISRA委员会进行了广泛的沟通,以实现最小的细节并解决已发布文本中的歧义。

1.3版中现已提供对AUTOSAR和CERT C的支持。

PC-lint Plus通过了exida®的ISO 26262:2018 (ASIL D合格)和IEC 61508:2010 (SIL 4合格)认证。


识别缺陷和漏洞

严重的代码缺陷有许多种,PC-lint Plus提供了多种检测功能,以提高软件质量的可信度。通过使用我们的价值跟踪数据流分析引擎和针对C和C ++标准库的内置函数语义,可以检测指针安全性和内存寿命问题(例如缓冲区溢出),并免费使用。检查堆栈使用情况,并确定递归函数和调用链。查找表明设计不一致的代码。

通过明智的静态分析,可以避免 许多著名的软件错误。在开发过程中识别缺陷,而不是在生产中等待潜在的灾难性后果。

  • 缓冲区溢出
  • 空指针取消引用
  • 未初始化的内存
  • 免费使用
  • 变量超出范围
  • 不安全功能
  • 堆栈使用情况分析
  • printf和scanf漏洞
  • 无法访问的代码


查找潜在的错误

凭借30多年的C和C ++静态分析经验,Gimpel软件具有独特的资格,可以提供对这些语言,其体系结构模式和开发人员思维有深刻理解的静态分析解决方案。PC-lint Plus可以发现开发人员可能会误解的代码中的细微不一致,并且可以提供有关如何解决深奥错误的简要说明。

查找未实现其外观的可疑代码,或者在情况变化时将来会失败的可疑代码。确保代码可抵抗平台,编译器和语言标准之间的环境差异。优化您的软件体系结构,以清楚地传达并正确实现其目标。PC-lint Plus拥有上千种不同严重程度的诊断消息,可以检测各种问题,从控制流,内存和算术到程序布局,依赖项和类设计。请参阅代表性检查清单。


提高开发人员生产力

在发现错误之前,请务必检查浪费大量的开发人员和最终用户时间的错误。开发人员花费了大量时间来尝试根据影响软件使用的表面级别错误来确定报告的错误的来源。PC-lint Plus可以直接找出根本原因,并识别与特定代码段相关的特定可操作问题,以便可以在导致运行时错误之前解决它们。

“大多数软件错误是在开发的中后期才发现的……这恰好是修复错误的最昂贵的阶段” (Rivers和Vouk,1998年)

广泛兼容

PC-lint Plus可以在Windows 7/8/10,Linux和macOS上本地运行,并且可以分析针对几乎任何平台的源代码。凭借对各种编译器C11 / C18和C ++ 17的支持,以及与现有IDE,构建过程或持续集成系统集成的能力,PC-lint Plus可以快速集成到任何项目中。


扩展性强

充分利用现代硬件的并行计算功能,以快速分析大型项目。通过使用独立线程和最少的共享内存,PC-lint Plus可以有效扩展以利用多个处理内核。开发人员和测试人员可以在单个工作站上执行代码分析,也可以从构建服务器查询结果,自动分析每个代码更改。

我们的消息抑制系统使您可以专注于最相关的诊断程序,轻松上手。它足够灵活,可以支持涉及多个团队,指南和豁免的大型项目的需求。可以组织模块化配置文件以提供标准的分析环境。


安全的现场分析

PC-lint Plus在开发人员工作站,构建服务器或连续集成服务器上本地运行。它不使用Internet连接,绝不会通过任何渠道从您的系统收集或提交数据,代码,统计信息,分析数据或任何其他信息。


尝试pc-lint plus

下载免费的30天评估许可证,以在本地试用PC-lint Plus,并查看它可以为您的项目带来的价值。在评估过程中,您将拥有与我们的技术支持团队的完整联系。

请访问我们的在线技术演示,以获取有关可编辑代码示例的PC-lint Plus分析样本。

版本更新
PC-lint Plus v1.3.5

1.3.5版本对PC-lint Plus进行了许多改进。包括:更新了AUTOSAR,MISRA C和MISRA C++,新消息和标志选项,对Visual Studio配置生成器GUI的改进等。

2020-07-02 15:50:15.000
PC-lint Plus v1.3

PC-lint Plus v1.3发布,对AUTOSAR®C ++和CERT®C的入门支持

2019-10-18 11:05:55.000
文章
PC-lint代表性检测区域和丰富可自定义功能集,拿走不谢!

PC-lint Plus提供了超过一千种您的编译器不会发出的诊断信息。这些支持数十个检测区域以及丰富且可自定义的功能集。有关功能和诊断的完整列表,请参阅发行产品和30天的PC-lint Plus评估许可证随附的PC-lint Plus参考手册。以下是代表性列表,突出显示了PC-lint Plus的一些主要功能。

2020-09-04 13:52:45.700
史上最著名的8大严重软件错误事件,你还记得有哪些?

如果不闯入计算机,在当今世界上很难做很多事情。作为消费者,我们希望我们的设备、计算机和小工具在大多数情况下都能按预期工作。但是,当运行它们的软件出现错误时,会发生什么。大多数软件错误会带来不便或烦人的情况。但是,它们有时会导致经济损失,危及生命的情况,甚至导致无辜人员死亡。我们在下面检查了一些较著名的严重软件错误。

2020-08-31 13:51:53.610
演示示例
PC-Lint Plus在线演示

可在线使用PC-Lint Plus查找程序bug。

2018-12-12 11:42:43.000

更新时间:2020-06-29 15:59:00.000 | 录入时间:2015-05-27 10:48:02.000 | 责任编辑:郑恭琳

登录 慧都网发表评论


150*****097 2019-01-17 19:48:26.000
0

我们现在使用PCLINT 使用的还是 pclint8 ,C++已经出来了很多的特性,现在误报很多。如果这个可以免费的话,那可就好多了


yuyi 2015-10-20 14:25:24.000
0

pc-lint专门C/C++代码走查工具,非常好用!


在线
客服
咨询
电话
400-700-1020
在线
QQ
购物车 反馈 返回
顶部
在线客服系统
live chat