提供3000多款全球软件/控件产品
针对软件研发的各个阶段提供专业培训与技术咨询
根据客户需求提供定制化的软件开发服务
全球知名设计软件,显著提升设计质量
打造以经营为中心,实现生产过程透明化管理
帮助企业合理产能分配,提高资源利用率
快速打造数字化生产线,实现全流程追溯
生产过程精准追溯,满足企业合规要求
以六西格玛为理论基础,实现产品质量全数字化管理
通过大屏电子看板,实现车间透明化管理
对设备进行全生命周期管理,提高设备综合利用率
实现设备数据的实时采集与监控
利用数字化技术提升油气勘探的效率和成功率
钻井计划优化、实时监控和风险评估
提供业务洞察与决策支持实现数据驱动决策
PC-lint Plus是针对C和C ++的综合静态分析解决方案
标签:代码优化静态检测工具开发商: Gimpel Software
当前版本: v1.4.1
产品类型:软件
产品功能:测试分析
平台语言:英语
开源水平:不提供源码
本产品的分类与介绍仅供参考,具体以商家网站介绍为准,如有疑问请来电 023-68661681 咨询。
针对C和C ++的综合静态分析解决方案
符合安全标准
识别缺陷和漏洞
查找潜在的错误
提高开发人员效率
广泛兼容
扩展性强
安全保障
IOS和IEC认证
PC-lint Plus是一种静态分析工具,通过分析C和C ++源代码来发现软件中的缺陷。与编译器一样,PC-lint Plus会解析源代码文件,执行语义分析,并构建一个抽象语法树来表示程序。PC-lint Plus采用各种机制,包括数据流分析,数值跟踪,读写分析,强类型检查,功能语义验证和许多其他技术,来提供对单个文件和整个项目强大而全面的分析。
声明:本产品中文介绍为慧都网版权所有,未经慧都公司书面许可,严禁拷贝、转载!
* 关于本产品的分类与介绍仅供参考,精准产品资料以官网介绍为准,如需购买请先行测试。
PC-lint Plus能够检查违反内部指引代码以及分析符合行业标准,如 MISRA ®、AUTOSAR ®和CERT ® ç。有关哪些规则受支持,哪些消息用于报告违规以及规则受支持的程度的详细信息,请参见我们的手册和配置文件。
可以配置一千多种可定制的消息,以支持许多不同的代码准则。例如,将大括号用于控制结构,在条件表达式中进行赋值,明确说明运算符的优先级等。可以在可重用的配置文件中指定所需消息的确切集合,以在项目和团队之间共享。
PC-lint Plus为MISRA标准提供了业界领先的支持,包括MISRA C 2012,MISRA C 2004和MISRA C ++ 2008以及其附录和勘误表。我们与MISRA委员会进行了广泛的沟通,以实现最小的细节并解决已发布文本中的歧义。
1.3版中现已提供对AUTOSAR和CERT C的支持。
PC-lint Plus通过了exida®的ISO 26262:2018 (ASIL D合格)和IEC 61508:2010 (SIL 4合格)认证。
严重的代码缺陷有许多种,PC-lint Plus提供了多种检测功能,以提高软件质量的可信度。通过使用我们的价值跟踪数据流分析引擎和针对C和C ++标准库的内置函数语义,可以检测指针安全性和内存寿命问题(例如缓冲区溢出),并免费使用。检查堆栈使用情况,并确定递归函数和调用链。查找表明设计不一致的代码。
通过明智的静态分析,可以避免 许多著名的软件错误。在开发过程中识别缺陷,而不是在生产中等待潜在的灾难性后果。
凭借30多年的C和C ++静态分析经验,Gimpel软件具有独特的资格,可以提供对这些语言,其体系结构模式和开发人员思维有深刻理解的静态分析解决方案。PC-lint Plus可以发现开发人员可能会误解的代码中的细微不一致,并且可以提供有关如何解决深奥错误的简要说明。
查找未实现其外观的可疑代码,或者在情况变化时将来会失败的可疑代码。确保代码可抵抗平台,编译器和语言标准之间的环境差异。优化您的软件体系结构,以清楚地传达并正确实现其目标。PC-lint Plus拥有上千种不同严重程度的诊断消息,可以检测各种问题,从控制流,内存和算术到程序布局,依赖项和类设计。请参阅代表性检查清单。
在发现错误之前,请务必检查浪费大量的开发人员和最终用户时间的错误。开发人员花费了大量时间来尝试根据影响软件使用的表面级别错误来确定报告的错误的来源。PC-lint Plus可以直接找出根本原因,并识别与特定代码段相关的特定可操作问题,以便可以在导致运行时错误之前解决它们。
PC-lint Plus可以在Windows 7/8/10,Linux和macOS上本地运行,并且可以分析针对几乎任何平台的源代码。凭借对各种编译器C11 / C18和C ++ 17的支持,以及与现有IDE,构建过程或持续集成系统集成的能力,PC-lint Plus可以快速集成到任何项目中。
充分利用现代硬件的并行计算功能,以快速分析大型项目。通过使用独立线程和最少的共享内存,PC-lint Plus可以有效扩展以利用多个处理内核。开发人员和测试人员可以在单个工作站上执行代码分析,也可以从构建服务器查询结果,自动分析每个代码更改。
我们的消息抑制系统使您可以专注于最相关的诊断程序,轻松上手。它足够灵活,可以支持涉及多个团队,指南和豁免的大型项目的需求。可以组织模块化配置文件以提供标准的分析环境。
PC-lint Plus在开发人员工作站,构建服务器或连续集成服务器上本地运行。它不使用Internet连接,绝不会通过任何渠道从您的系统收集或提交数据,代码,统计信息,分析数据或任何其他信息。
下载免费的30天评估许可证,以在本地试用PC-lint Plus,并查看它可以为您的项目带来的价值。在评估过程中,您将拥有与我们的技术支持团队的完整联系。
请访问我们的在线技术演示,以获取有关可编辑代码示例的PC-lint Plus分析样本。
更新时间:2024-01-09 17:01:29.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@cahobeh.cn
关注我们
地址 : 重庆市九龙坡区火炬大道69号6幢