GIMPEL Software PC-lint Plus 编译器

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

超过30年的C和C ++静态分析经验

了解PC-lint Plus如何为您提供帮助：

PC-lint Plus可在Windows，Linux和macOS上运行，并可配置为分析几乎任何平台的代码

适用平台

Windows 7/8/10（32位和64位），Linux（64位）和macOS。PC-lint Plus可以分析几乎任何平台的C / C ++源代码。

编码标准

PC-lint Plus可以检查违反内部代码指南的情况，以及分析是否符合MISRA等行业标准。数以千计的高度可配置的消息可被启动来用于支持许多不同的代码指南，例如控制结构要使用大括号，条件表达式中的赋值规则，明确说明运算符优先级等等。可以在可重用配置文件中指定所需信息的集合，以便在项目和团队之间分享。

MISRA支持

PC-lint Plus为MISRA标准提供行业领先的支持，包括MISRA C 2012，MISRA C 2004和MISRA C ++ 2008及其附录和正误表。使用随PC-lint Plus一起的配置文件可以快速启用MISRA检查。可以启用和禁用单个规则，并且可以逐个控制信息。

信息抑制

PC-lint Plus包含多种灵活的方法来控制信息抑制，即是否会发出或忽略特定的信息实例。可以在每个文件，每个函数，每个语句的基础上全局启用或抑制信息，具体取决于信息所引用的类，结构，变量，函数或宏的名称，或者在单个行上。PC-lint Plus可以将第三方或库源代码与项目的其余部分区分开来，并且可以对这些代码应用单独的抑制策略。

• 最简单的抑制选项，+e#和-e#，在遇到它们之后的所有地方启用或禁用信息#。
• 通过添加// lint！e#形式的注释来暂时禁用信息#。
• 提及特定变量，类，结构或函数的消息可以使用-esym或+esym来抑制或启用，例如-esym（#，name）会在消息的特定实例提到name时禁止信息#。
• 提到其他文本的信息可以使用-estring和+estring来抑制或启用。
• emacro选项在指定宏的扩展中启用或禁用信息。
• lint注释中的各种抑制可以影响下一个或封闭的语句，声明或表达式。

文档和支持

PC-lint Plus与PDF格式的手册一起提供下载，手册描述了PC-lint Plus的配置，操作，选项和信息。介绍和安装部分可帮助您快速入门。每个选项和信息都有详细描述，并且很容易找到参考表和目录。版本历史记录部分记录了版本之间的更改。

源代码安全

PC-lint Plus在您的开发人员工作站或您自己的服务器上本地运行。它不连接到互联网或以其他方式使用网络连接。您的源代码只存在您的设备上，它不提交任何其他形式的数据。