PC-lint Plus 可以检查是否违反内部代码指南以及分析是否符合行业标准，例如 MISRA®、AUTOSAR® 和 CERT® C。有关支持哪些规则、哪些消息用于报告违规行为的详细信息，以及我们的手册和配置文件中提供了支持规则的程度。

可以配置超过一千条可定制的消息来支持许多不同的代码指南；例如控制结构使用大括号、条件表达式中的赋值、运算符优先级的明确说明等。可以在可重复使用的配置文件中指定一组确切的所需消息，以便在项目和团队之间共享。

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++ 标准库的内置函数语义，检测指针安全和内存寿命问题，如缓冲区溢出和免费使用。检查堆栈使用情况并识别递归函数和调用链。查找指示设计不一致的无法访问的代码。

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

凭借三十多年的 C 和 C++ 静态分析经验，Gimpel Software 凭借对这些语言、它们的架构模式和开发人员思维方式的深刻理解，能够提供独一无二的静态分析解决方案。PC-lint Plus 可以检测开发人员可能误解的代码中的不一致，并可以提供有关如何解决错误的清晰解释。

查找未实现其外观的可疑代码，或者在情况不断变化的情况下将来会失败的可疑代码。确保代码能够适应跨平台、编译器和语言标准的环境差异。优化您的软件架构以清楚地传达并正确实现其目标。PC-lint Plus 拥有上千种不同严重程度的诊断消息，用于检测各种问题，从控制流、内存和算术，到程序布局、依赖性和类设计。查看代表性检查列表。

在发现错误之前检测可能会浪费开发人员和最终用户无数时间的错误。开发人员花费大量时间试图根据影响软件使用的表面级错误来确定报告错误的来源。PC-lint Plus 直接找到根本原因并确定与特定代码段相关的特定可操作问题，以便在它们导致运行时错误之前将其修复。

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

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

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

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