HI~您好,欢迎您访问"北京金科合创软件官方网站",购买正版软件、海外正版软件商城就选金科软件(Goldk Software) 咨询热线:15210221926  金科软件-国内外正版软件服务商
您的位置: 首页>产品中心>PC-lint Plus

PC-lint Plus

厂商名称:Vector Informatik

产品类别: 开发控件

下载地址:正版软件,购买后可安装使用

正版购买:采购咨询  

正版价格:时价

完整的销售 咨询顾问 服务体系

PC-lint Plus软件功能介绍及价格

C 和 C++ 的静态代码分析
PC-lint Plus 是一种静态分析工具,通过分析 C 和 C++ 源代码来发现软件中的缺陷。
像编译器一样,PC-lint Plus 解析您的源代码文件,执行语义分析,并构建一个抽象语法树来表示您的程序。从那里,PC-lint Plus 采用各种机制,包括数据流分析、抽象解释、价值跟踪、读写分析、强类型检查、函数语义验证和许多其他技术,以提供对单个文件和文件的稳健和整体分析。一个完整的项目。
PC-lint Plus 然后使用易于理解的清晰、简明和可操作的诊断报告其发现。诊断消息格式是完全可定制的,包括精确的位置信息和快速解决缺陷所必需的上下文。PC-lint Plus 可以从命令行运行,集成到您的构建过程或持续集成系统中,或者从您的 IDE 中运行。
遵守安全关键应用中使用的编码标准
强制遵守包括MISRA C 和 C++、AUTOSAR和CERT C在内的行业编码标准,自定义个别指南的检测,并通过精确的诊断抑制轻松支持指南偏差。PC-lint Plus 参考手册包含详细的编码指南支持矩阵和更详细的MISRA C 2004、MISRA C++ 2008、MISRA C 2012(包括 AMD-1 和 AMD-2)、CERT C和AUTOSAR的版本细分。

识别缺陷和漏洞
存在许多不同类型的严重代码缺陷,而 PC-lint Plus 提供了多种检测功能,以提高对软件质量的信心。通过使用我们的价值跟踪数据流分析引擎和用于 C 和 C++ 标准库的内置函数语义,检测指针安全和内存生命周期问题,如缓冲区溢出和释放后使用。检查堆栈使用情况并识别递归函数和调用链。查找表明设计不一致的无法访问的代码。
许多著名的软件错误本可以通过明智的静态分析来避免。在开发过程中识别缺陷,而不是等待生产中潜在的灾难性后果。


广泛兼容
PC-lint Plus 在 Windows 7/8/10、Linux 和 macOS 上原生运行,可以分析几乎针对任何平台的源代码。通过提供对各种编译器、C11/C18 和 C++17 的支持,以及与您现有的 IDE、构建过程或持续集成系统集成的能力,PC-lint Plus 可以快速融入任何项目。PC-lint Plus 支持纯文本、HTML 和 XML 输出,可以轻松定制以支持几乎任何格式。
可扩展
利用现代硬件的并行计算能力快速分析大型项目。PC-lint Plus 通过使用独立线程和最少的共享内存有效地扩展以利用多个处理核心。开发人员和测试人员可以在单个工作站上执行代码分析或从自动分析每个代码更改的构建服务器查询结果。我们的消息抑制系统专注于最相关的诊断,让您轻松上手。它足够灵活,可以支持涉及多个团队、指南和豁免的大型项目的需求。可以组织模块化配置文件以提供标准分析环境。
提高开发人员生产力
在发现之前检测可能浪费开发人员和最终用户无数小时时间的错误。开发人员花费大量时间试图根据影响软件使用的表面错误来识别报告错误的来源。PC-lint Plus 直接找到根本原因并识别与特定代码段相关的具体可操作问题,以便在它们导致运行时错误之前修复它们。
安全的现场分析
PC-lint Plus 在您的开发人员工作站、构建服务器或持续集成服务器上本地运行。它不使用互联网连接,也绝不会通过任何渠道从您的系统收集或提交数据、代码、统计数据、分析或任何其他信息。
 

PC-lint Plus的创作厂商介绍

PC-lint 是静态分析软件的领先先驱,Gimpel Software 于 1985 年发布了屡获殊荣的版本。从那时起,无数开发人员都信任它,可以在几乎所有行业的各种规模的项目中查找错误。 PC-lint Plus 于 2017 年首次发布, 是为 C 和 C++ 提供无与伦比的分析功能的最新产品。Vector Informatik 收购总部位于美国的 Gimpel Software LLC
Vector Informatik 在为嵌入式和分布式系统提供从低级单元测试到系统测试的动态测试解决方

微信公众号

  • 回到顶部
  • 15210221926
  • Goldk-AGE
  • 微信公众号