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

最新推荐文章于 2025-06-19 11:33:35 发布

weixin_33725807

最新推荐文章于 2025-06-19 11:33:35 发布

阅读量777

点赞数

CC 4.0 BY-SA版权

文章标签：操作系统

原文链接：https://juejin.im/post/5c19fd3f518825741e7c1980

GimpelSoftware推出PC-lintPlus，替代不再维护的PC-lint/FlexeLint，作为C/C++静态分析的最新解决方案。此工具在本地运行，分析代码缺陷，支持Windows、Linux和macOS，可检查MISRA等行业标准，提供数千条可配置消息，以确保代码质量和安全性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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可以将第三方或库源代码与项目的其余部分区分开来，并且可以对这些代码应用单独的抑制策略。