Gimpel Software已推出新产品PC-lint Plus——C和C ++的首选静态分析工具，通过分析C和C ++源代码来发现软件中的缺陷，与编译器一样，PC-lint Plus会解析源代码文件，执行语义分析，并构建一个抽象语法树来表示程序。那么，PC-lint Plus相比PC-lint/FlexeLint有什么新功能呢？下面是小编为大家整理的一些内容，一起来看看吧！
1、现代C ++支持
PC-lint Plus完全支持C++ 11，C++ 14和C++ 17标准，它利用clang来执行C和C++源代码的词法分析和解析。Clang定期更新合并到PC-lint Plus中，确保及时支持最新的语言功能。因此，PC-lint Plus支持最新的编译器，包括当前版本的GCC和clang以及Visual Studio 2015/2017。
2、改进数值追踪
数值跟踪现在可以存储值的范围，而不仅仅是单个值，这使得PC-lint Plus可以在确切的值未知时进一步了解您的代码，但它们可能受条件逻辑的限制。
3、并行分析
PC-lint Plus通过使用单独的线程分析每个源代码模块来支持项目的并行分析，通过充分利用可用硬件加速分析过程。
4、简化配置
新的配置工具通过从编译器和构建过程中提取信息来自动化配置过程，以生成与构建项目的方式相匹配的全面而准确的配置。
5、改进了MISRA C 2012支持
PC-lint Plus通过新信息进一步扩展了现有的MISRA C 2012支持，改进了信息措辞，更清楚地解释了诊断出来的违规行为。支持AMD-1，以及调整某些MISRA规则的行为以匹配常见用例和替代规则解释说明。PC-lint Plus还支持essential type（基本类型）细分，这些细分可以准确显示表达式的不同部分如何促成表达式的最终essential type，以帮助理解与essential type相关的信息。
6、增强诊断功能
通过提供问题的精确位置，突出显示信息中引用的关键结构，以及引入补充信息来进一步了解诊断发布的条件，PC-lint Plus的诊断功能得到了极大改进。
现在可以将信息组织到用户定义的命名组中以便于操作，参数化抑制可以本地化到特定代码区域，可以使用正规表达式抑制消息，使用-file来抑制指定文件中的信息。
7、改进函数语义
PC-lint Plus为200多种标准库函数提供内置函数语义。现在当函数体可用时，将验证使用-sem选项定义的自定义返回语义。例如，如果函数在特定运行期间实际返回null，而指定函数没有返回null的语义将导致诊断开始。
现在可以为单个函数过载和函数模板指定用户定义的函数语义。
8、其他特性
除了上述新功能和增强功能外，PC-lint Plus还包含许多小改进，包括内置帮助系统，-deprecate选项现在支持弃用类型和选项，改进了printf和scanf格式字符串检查以及位置参数支持 ，能够保存和恢复整个选项环境，改进信息措辞，以及数百种新诊断（包括许多致力于使用新C ++语言功能的诊断）。
好啦，以上就是本期小编为大家整理的PC-lint Plus相比PC-lint/FlexeLint有什么新功能的全部内容了，想要知道更多关于PC-lint Plus的资讯，敬请关注软服之家官网哦！
苏公网安备 32059002002276号
