Gimpel Software推出C和C ++的首选静态分析工具PC-lint Plus

Gimpel Software已再也不维护PC-lint/FlexeLint版本9，最终更新是2014年发布的版本9.00L。Gimpel Software在2018年末以前为PC-lint/FlexeLint提供技术支持。

Gimpel Software已推出新产品PC-lint Plus——C和C ++的首选静态分析工具。

简单介绍一下PC-lint Plus：

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

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

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

在用户遇到Bug以前找到Bug

主动查找问题而不是被动等待问题出现

识别潜在的安全漏洞

一些Bug不只让用户使用不方便，它们还可能泄漏用户数据或者致使系统崩溃

实施安全编码标准

自动分析对行业准则的遵照状况

提升开发人员的效率

避免浪费时间寻找Bug

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在您的开发人员工做站或您本身的服务器上本地运行。它不链接到互联网或以其余方式使用网络链接。您的源代码只存在您的设备上，它不提交任何其余形式的数据。

那么PC-lint Plus相比PC-lint/FlexeLint有什么新功能呢？

您可点击此处查看新增功能。

                                                 点击下载PC-lint Plus试用版

             为您推荐：【FAQ】C和C ++的首选静态分析工具 PC-Lint Plus 常见问题集（一）