没有找到合适的产品?
联系客服协助选型:023-68661681
提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
PC-lint Plus是针对C和C ++的综合静态分析解决方案
标签:代码优化静态检测工具开发商: Gimpel Software
当前版本: v2.2
产品类型:软件
产品功能:测试分析
平台语言:英语
开源水平:不提供源码
本产品的分类与介绍仅供参考,具体以商家网站介绍为准,如有疑问请来电 023-68661681 咨询。
PC-lint Plus包含许多新信息,新特点和增强功能。亮点包括:
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通过使用单独的线程分析每个源代码模块来支持项目的并行分析,通过充分利用可用硬件加速分析过程。
新的配置工具通过从编译器和构建过程中提取信息来自动化配置过程,以生成与构建项目的方式相匹配的全面而准确的配置。
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 ++语言功能的诊断)。
更新时间:2025-06-18 14:36:09.000 | 录入时间:2015-05-27 10:48:02.000 | 责任编辑:何思佳
扫码关注 获取优惠
最好的二进制代码分析工具,是世界级安全专业人士工具箱中不可缺少的项目
Burp SuiteBurp Suite 是一款领先的Web应用程序安全测试工具
TestComplete易于使用的GUI测试自动化工具,轻松测试每个台式机、Web和移动应用程序
Parasoft C/C++test针对 C/C++ 软件开发提供统一、完全集成的测试解决方案。
服务电话
重庆/ 023-68661681
华东/ 13452821722
华南/ 18100878085
华北/ 17347785263
客户支持
技术支持咨询服务
服务热线:400-700-1020
邮箱:sales@evget.com
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢
慧都科技 版权所有 Copyright 2003-
2025 渝ICP备12000582号-13 渝公网安备
50010702500608号