C和C ++的静态分析工具PC-lint Plus v1.3发布，支持BARR-C：2018

PC-lint Plus是C和C ++的首选静态分析工具。1.3版对PC-lint Plus进行了大约200项改进，后面文章将详细介绍。本文内容是此版本中最显著更改的要点。

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

PC-lint Plus最新版

PC-lint Plus v1.3更新内容：

1.3版对PC-lint Plus进行了大约200项改进，以下各节将详细介绍。以下是此版本中最显著更改的内容。

• 新消息：版本1.3引入了50多个新消息，请参阅后面的新消息摘要文章。

• 对AUTOSAR C ++和CERT C的入门支持：新的au-autosar.lnt和au-certc.lnt文件使PC-lint Plus支持相应的标准。此版本的PC-lint Plus支持超过60％的可静态检查的AUTOSAR准则，这些准则将在以后的版本中增加。

• 支持BARR-C：2018：此版本的PC-lint Plus通过提供的au-barr.lnt文件支持嵌入式C编码指南BARR-C：2018（以前为Netrino）。提供的支持大大扩展了PC-lint 9为非常相似的Netrino准则提供的支持。

• 新选项：-fatal_error，+ fatal_error

• 新标志选项：ffi（相对于附近极限的格式整数），fup（报告空指针值将其视为未知值），fuu（将未初始化值处理后即报告为未知值），fcv（不报告参数可以为const，如果仅转换为void），fub（忽略开关中无法到达的中断），fxt（外部C函数可以引发异常）。

• MISRA C 2012：添加了对规则21.18、22.4和22.6的支持。改进了对规则2.2、11.1、14.4、15.7、17.1、21.4、21.5、22.1和21.10的支持。改进了对布尔基本类型处理的支持。新的解释选项。

• MISRA C ++：改进了对规则2-13-2、3-9-3、4-5-3、4-10-2、5-0-3、5-0-6、5-2-4， 5-2-8、7-1-1、7-1-2和7-3-1。新的解释选项。

• 改进的支持表：支持表现在更加详细，提供了多个级别的支持以及对报告内容的附加说明。历史消息映射已删除，并且构成规则支持所需的功能级别已提高。

• 嵌入式：pclp_config实用程序现在支持Keil ARMCC和Microchip XC编译器，文档中包含了将PC-lint Plus与μVision和MPLAB X IDE集成的说明。添加了对0.NaN和0.Infinity浮点常量的支持。

• Visual Studio：Windows的config目录中现在提供了Visual Studio解决方案和项目的自动配置实用程序。

PC-lint Plus 1.3版本更新内容比较多，后面的文章将会陆续介绍1.3版本的更新内容~感兴趣的朋友可以继续关注我们哦~点击下载PC-lint Plus最新版体验一下~

想要购买PC-lint Plus正版授权，或了解更多产品信息请点击“咨询在线客服”

1024，致敬程序员们，zend现金优惠券限时放送，了解详情请点击下方图片

标签：

来源：慧都