静的解析による品質向上支援ツール「PGRelief C/C++」
機能

【基本機能】

豊富な指摘機能
レビュー支援機能
複雑さ計測機能
コマンド解析機能
命名規約検査
英語モード

【オプション機能】

PGRelief C/C++ 2011 autumn の追加機能、改善機能はこちら

豊富な指摘機能

拡大イメージ

C/C++のソースプログラムを解析し、単純なコーディングミスから論理的な誤りまで的確に指摘します。また、不当なメモリアクセス、メモリリーク、誤ったメモリ開放や性能を悪化させる記述なども指摘します。

無駄な指摘を抑え、障害原因とはならない箇所については指摘しない工夫を施していますので、開発者に余分な負担を掛けません。

各指摘メッセージについてその意味や対処方法を例を交えて詳細に解説したドキュメントを用意していますので、指摘箇所の修正が容易です。

指摘種別	C指摘数		C++指摘数
指摘種別		広域探索オプション用	C++指摘数
合計	548	4	511
障害の可能性	143	4	133
移植性・保守性・可読性の向上	233	-	211
移植性・保守性・可読性の向上（とくにファームウェア開発）	100	-	88
堅牢性（セキュリティ関連）の向上	20	-	20
効率性の向上	5	-	8
命名規約違反	5	-	5
その他（構文の誤りなど）	42	-	46

ページの先頭へ

＜指摘観点＞

PGRelief は、指摘の「多重化」を実現。お客様の開発プログラムのさらなる品質向上に貢献します。

1. PGRelief 独自のノウハウでチェック

富士通の社内開発におけるバグ事例などから、開発者が陥りがちなパターンをデータベース化しチェックします。

拡大イメージ

2. SECコーディング作法ガイドの適合性チェック

ソースプログラムが、IPA/SECコーディング作法に沿って記述されているかどうかをチェックし、違反している記述箇所を指摘します。規約に準拠してコーディングを行うことにより、信頼性、移植性、保守性の向上を図ることができます。

仕様

ESCR C ： 129個中114個のルール、コーディングミスの例 20個中18個
PDF チェック可能なESCR C ルール [79.6KB]
ESCR C++ ： 167個中130個のルール
PDF チェック可能なESCR C++ ルール [80.8KB]

PDF PGRelief でチェック可能なSECコーディング作法ルール一覧 [97.6KB]

【ソフトウェアエンジニアリングセンター所長鶴保征城様コメント】
ソフトウェアエンジニアリングセンター（SEC）は、開発の現場で役立つ手法、標準の策定を目指しており、今回の富士通殿のようにSECの定めた成果に準拠した運用を歓迎いたします。SECは、今後も現場と現場を支援する企業での幅広い成果採用を目指し活動を強化、推進いたします。

ページの先頭へ

3. MISRA ルール適合性をチェック（オプション）

ソースプログラムが、MISRA-C、MISRA-C++プログラミングガイドラインに沿って記述されているかどうかをチェックし、違反している記述箇所を指摘します。このガイドラインに沿ってソースプログラムを記述することにより、基本的なプログラム品質の底上げを図ることができます。

仕様

MISRA-C:1998 ［127個中 120個のルールについてチェック］
PDF チェック可能な MISRA-C:1998 ルール [78KB]
MISRA-C:2004 ［141個中 131個のルールについてチェック］
PDF チェック可能な MISRA-C:2004 ルール [77.5KB]
MISRA-C++:2008 ［228個中 164個のルールについてチェック］
PDF チェック可能な MISRA-C++:2008 ルール [131KB]

特長（指摘観点2, 3 の共通特長）

ルール番号やルール分類で、違反箇所を絞り込み表示
ビューアやエディタと連携し、違反箇所をすばやく対処
ルールのサブセットのみの指摘が可能
逸脱箇所をCSV形式で出力
各ルールに対するPGRelief の指摘観点が明瞭

ページの先頭へ

レビュー支援機能

使いやすいユーザーインターフェースで、各種指摘の検証作業を効率よく行うことができます。例えば指摘種別（信頼性、保守性、移植性、効率性）や指摘メッセージごとにフィルタリングを行い、着目したい指摘メッセージのみを表示させることなどが行えます。また、検査指摘設定機能により、予め設定したグループや番号の指摘メッセージのみを出力することも可能です。該当するソース記述や指摘の意味、対処方法までを簡単操作で表示しますので、効率的に検証できます。