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

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

3-1.jpg

关键特性

早期发现代码缺陷

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

确保品质提高

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

丰富的功能

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

助力ISO 26262认证

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

3-2.jpg