PGRelief® C/C++

PGRelief® C/C++是富士通南大软件与日本富士通合作开发的静态代码检测软件。通过对C/C++源代码的检测和分析,能够快速检查出代码的错误和缺陷。从而提高软件开发品质,缩短开发周期,降低软件开发成本。

同时支持MISRA、SEC、CERT编码规范检查。广泛地应用于汽车电子、医疗、家电等多种行业的嵌入式软件开发。

PGRelief嵌入式代码静态检测工具

关键特性

• 早期发现代码缺陷

将原先到测试阶段才能发现的问题,提前到编码阶段发现
有效减少返工和测试工作量,提高开发效率,降低开发成本
对于错误及缺陷的精准定位,大幅度地减少了开发人员的工作负担

• 确保品质提高

蕴含富士通近20年开发中积累的经验和技术
支持MISRA、SEC、CERT等编码规范检查
多角度对源代码进行检查,从而提高软件品质

• 丰富的功能

丰富的指摘
代码评审辅助
程序复杂度度量
命名规则约定
品质检查
广域探索

• 助力ISO 26262认证

软件本身通过ISO26262认证(ASIL-D,认证编 号:JQA-KC12001) 认证机构认可的检测报告

PGRelief嵌入式代码静态检测工具

用户案例

• PGRelief C/C++用户

国内某汽车集团
国际某知名汽车配件商
国际某知名自控制造商
国际某知名电器商
国家电网某下属企业

• 用户评价

PGRelief C/C++的确帮助我们解决了各类问题
PGRelief C/C++检查结果及建议具有很高的帮助
使用PGRelief C/C++节省了大量的人力成本
本地化服务团队为我们提供了及时完善的服务