PGRelief特点杂谈

现在市场上存在各种源码检测软件，如C++test、QAC/QAC++、fortify、logiscope、pclint等，可以说这些软件各有优势，PGRelief作为这些软件的同类，它有哪些优势呢，下面是对PGRelief优点的一些总结：
PGRelief的优势：

优点一：编码阶段的彻底改进
将原先必须到测试阶段才能发现的问题提前到编码阶段发现
有效减少返工和测试工作量
对问题精确定位，最大限度减少开发人员的额外负担
优点二：多角度检查确保软件品质提高
包含了富士通10多年开发中积累的经验和技术
可以检查如下规范
ISO/IEC 9989:1990,1999          　　　(C语言规范)
ISO/IEC 14882:1998,2003,2011    　　　(C++语言规范)
MISRA-C 1998,2004,2012；MISRA-C++2008 (汽车工业软件可靠性协会编码规范)
IPA/SEC                        　　　 (适合嵌入式的C语言高品质编码规范)
多个角度对源程序进行检查，提高软件品质
所检查的可能问题总数达到650个
优点三：为获得ISO26262认证提供帮助
ISO26262之Part-6：对是否符合编码规范有着严格要求
PGRelief所具备的静态检查功能不可或缺，可以用于编码规范检查。
ISO26262之Part-8：对检查用的工具自身的妥当性有着严格要求
要求用来进行规范检查所使用的第三方工具也必须通过该认证。
PGRelief也获得了ISO26262的认证。并且通过了ISO26262的最苛刻/最高级别的安全性要求认证ASIL-D (Automative Safety Integrity Level-D)。
PGRelief的主要特点
高命中率
基于程序的数据流及控制流，准确地检查出程序中的缺陷。
由于检查的高命中率，对检查结果进行验证的工作量也会相应降低。
完备的代码评审功能
本软件同时包含了许多辅助功能，比如「检查点的分类功能」可以帮助你根据检查点的重要性来查看检查结果；而「代码查看器」则可以帮助你快速跳转到源代码中出现问题的位置。
详细的检查点解说文档
对各个检查点提供了详细的解说，包括指出的理由、处理方法等各种信息。据此，开发人员可以轻松的解决问题。并且，通过阅读这些文档，开发人员可以进行编码知识的自学，从而促进自身技能的提高。
支持多种编译器
PGRelief支持多种编译器。只要在选项中进行正确的设定，就可以正确解析包含了编译器扩展语法的用户源程序。此外，对于尚未支持的编译器，提供调查和定制服务。