企业智能化解决方案服务商

PC-lint Plus

PC-lint Plus是C和C ++的首选静态分析工具。

产品类型: 软件 产品功能: 测试分析 平台语言: 源码: 不提供源码 产品编号: 13559
  • 当前版本: [销售以商家最新版为准,如需其他版本,请来电咨询]
  • 开  发 商:Gimpel Software 正式授权

关于本产品的分类与介绍仅供参考,具体以商家网站介绍为准。加企业QQ:800018081 咨询该产品

当前版本:

PC-lint Plus相较PC-lint新增功能

PC-lint Plus包含许多新信息,新特点和增强功能。亮点包括:

现代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。

改进数值追踪

数值跟踪现在可以存储值的范围,而不仅仅是单个值,这使得PC-lint Plus可以在确切的值未知时进一步了解您的代码,但它们可能受条件逻辑的限制。

并行分析

PC-lint Plus通过使用单独的线程分析每个源代码模块来支持项目的并行分析,通过充分利用可用硬件加速分析过程。

简化配置

新的配置工具通过从编译器和构建过程中提取信息来自动化配置过程,以生成与构建项目的方式相匹配的全面而准确的配置。

改进了MISRA C 2012支持

PC-lint Plus通过新信息进一步扩展了现有的MISRA C 2012支持,改进了信息措辞,更清楚地解释了诊断出来的违规行为。支持AMD-1,以及调整某些MISRA规则的行为以匹配常见用例和替代规则解释说明。PC-lint Plus还支持essential type(基本类型)细分,这些细分可以准确显示表达式的不同部分如何促成表达式的最终essential type,以帮助理解与essential type相关的信息。

增强诊断功能

通过提供问题的精确位置,突出显示信息中引用的关键结构,以及引入补充信息来进一步了解诊断发布的条件,PC-lint Plus的诊断功能得到了极大改进。

现在可以将信息组织到用户定义的命名组中以便于操作,参数化抑制可以本地化到特定代码区域,可以使用正规表达式抑制消息,使用-file来抑制指定文件中的信息。

改进函数语义

PC-lint Plus为200多种标准库函数提供内置函数语义。现在当函数体可用时,将验证使用-sem选项定义的自定义返回语义。例如,如果函数在特定运行期间实际返回null,而指定函数没有返回null的语义将导致诊断开始。

现在可以为单个函数过载和函数模板指定用户定义的函数语义。

其他特性

除了上述新功能和增强功能外,PC-lint Plus还包含许多小改进,包括内置帮助系统,-deprecate选项现在支持弃用类型和选项,改进了printf和scanf格式字符串检查以及位置参数支持 ,能够保存和恢复整个选项环境,改进信息措辞,以及数百种新诊断(包括许多致力于使用新C ++语言功能的诊断)。


PC-lint Plus 最新版下载


客服
开发商其他产品
  • PC-lint Plus

    PC-lint Plus是C和C ++的首选静态分析工具。

同类产品
  • iSpring QuizMaker

    iSpring QuizMaker是一款创建评估设置评分的测验制作工具

  • Telerik API Testing

    一个能轻松验证API的完整性和可靠性的测试工具。

  • Telerik Test Studio

    一个用于功能性Web、桌面和移动测试的直观测试自动化工具。

  • TestComplete Desktop

    TestComplete是一款自动化功能测试平台。TestComplete Desktop可以在任何桌面应用程序上创建、管理和运行自动化测试。

  • CodeReviewer

    CodeReviewer是一款免费的代码审查工具,适合小型团队使用。

  • TestServer

    TestServer是一款API代码分析测试的工具,帮助您提高API的完整性。

  • HP Performance Center(HP PC)

    HP Performance Center 软件是一款企业级性能测试平台。设计用于推动标准化进程、集中式管理、全球协作以及形成卓越的性能测试中心。

  • Fortify on Demand

    Fortify on Demand是一款移动应用和web的安全测试软件。

  • AppPulse Mobile

    AppPulse Mobile是一款针对移动应用性能分析的软件。

  • AppPulse Active

    AppPulse Active是一款从最终用户角度即时监控网站、云和 SaaS 服务的软件。

在线客服 在线QQ 电话咨询
400-700-1020
在线客服系统
live chat