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现金优惠券限时放送，了解详情请点击下方图片
标签：
声明：本站部分文章及图片源自用户投稿，如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢！