プログラムにはある特定の条件で発生するエラーや、誤った値の受 け渡しにより予期せぬ結果が生じる、いわゆる潜在的バグが存在す る事がある。潜在的バグの存在はプログラムの品質、信頼性に大き く関わる。しかし、潜在的バグはコンパイラ、デバッガ、テストツ ールなどで発見することが難しく、また手作業で発見を行う場合は 、多大な時間、労力が必要となる。そこで、潜在的バグが無いプロ グラム作成のために、潜在的バグを発見できるツールが存在すれば 、プログラム開発の上で大きな助けとなる。 本研究では関数の戻り値に関する潜在的バグの検査に重点をおき、 与えられた項目についてプログラムの検査を行う事を目的とし たツールの実装を行う。検査は設定された検査項目に沿って、検査 対象となる関数とその関数に対応する情報をユーザ側で指定する事 によって行われる。これにより、ユーザが検査内容を状況に応じて カスタマイズする事が可能となる。