PC-lint Plus

PC-lint Plus简介

PC-lint Plus是一种静态分析工具，通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样，PC-lint Plus会解析源代码文件，执行语义分析，并构建一个抽象语法树来表示程序。v1.4.1 版包含对 PC-lint Plus 1.4 的改进。

PC-lint Plus功能介绍

符合安全标准

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分析样本。