JP2021002137A - 欠陥検出装置、欠陥検出方法、及び欠陥検出プログラム - Google Patents

Abstract

【課題】ソースコードについてユーザによって除外対象とされた欠陥箇所候補を適切に管理する欠陥検出装置を提供する。【解決手段】欠陥検出装置１００は、静的解析部２１０、処理内容生成部２２０、除外判定部２３０、表示制御部２４０、除外対象追加部２６０、情報記憶部２５０の各機能部を備える。静的解析部は、ソースファイル群２５１のソースコードにおける欠陥箇所候補を静的解析により検出する。処理内容生成部は、検出された欠陥箇所候補について具体的処理があるものに対する具体的処理を生成する。表示制御部は、欠陥箇所候補に対して生成された具体的処理を表示させる。除外対象追加部は、具体的処理に対する欠陥箇所候補から除外対象とする指示を受け付け、指示を受けた具体的処理を欠陥箇所候補の除外対象とすることを示す除外対象情報２５５を情報記憶部に記憶させる。【選択図】図２

Description

本発明は、ソースコードにおける欠陥箇所候補を検出して表示する技術に関する。

ソフトウェア開発において、静的解析によって欠陥箇所候補（問題箇所）を検出する欠陥検出装置が知られている。静的解析は、欠陥の可能性があるソースコードのパターンを予め定義しておくことで、ソースコードから欠陥の可能性がある問題箇所を検出し、この問題箇所に対して指摘すべき情報を集めることで指摘情報を生成する。ソフトウェアの開発者は、指摘情報を参照し、指摘情報中の問題箇所の中から修正が必要だと判断した問題箇所のみを修正することで、ソースコードの品質を向上する。

静的解析により問題箇所を検出する欠陥検出装置においては、検出される問題箇所の数が膨大になる問題がある。特に、ソースコードを変更または追加して改版する場合、改版前のソースコードで検出された問題箇所のうち開発者によって修正不要と判断された箇所について、改版後のソースコードでも同様に問題箇所として検出されてしまう。

このような問題に対する関連技術が特許文献１に開示されている。特許文献１には「改版されたソースコードの問題箇所から以前のソースコードの問題箇所と重複する箇所を除外して出力する」技術が開示されている。

特開２０１６−１８３０７号公報

特許文献１に記載された技術は、具体的には、問題箇所が記述されているサブルーチンの先頭から少なくとも当該問題箇所までの記述を特定し、当該問題箇所に対応する改版後ソースコードの記述が、改版前ソースコードの記述と一致する場合に、当該問題箇所について改版後ソースコードの問題箇所から除外する技術である。

特許文献１に記載された技術では、問題箇所に対応する記述が変更された時、変更が当該問題箇所に影響を与えない場合であっても、当該問題箇所について改版後ソースコードの問題箇所から除外できない。また、改版において追加された記述が問題箇所として検出された時、この問題箇所についての指摘情報が、改版前ソースコードにおいて既に開発者（ユーザ）によって検討不要と判断された指摘情報と同一の内容であっても、この指摘情報を改版後のソースコードの指摘情報から除外できない。

本発明は、上記事情に鑑みなされたものであり、その目的は、改版後のソースコードについてユーザによる検討が必要な欠陥箇所候補を適切にユーザに把握させることができるようにするために、ソースコードについて、ユーザによって、例えば、修正不要等の除外対象とされた欠陥箇所候補を適切に管理することができる技術を提供することを目的とする。

上記目的を達成するため、一観点に係る欠陥検出装置は、ソースコードの欠陥箇所候補を検出する欠陥検出装置であって、ソースコードにおける欠陥箇所候補を静的解析により検出する静的解析部と、静的解析部により検出された欠陥箇所候補について具体的処理があるものに対する具体的処理を生成する処理内容生成部と、欠陥箇所候補に対して生成された具体的処理を表示させる表示制御部と、具体的処理を欠陥箇所候補から除外対象とする指示を受け付け、指示を受けた具体的処理を欠陥箇所候補の除外対象とすることを示す除外対象情報を記憶させる除外対象追加部と、を備える。

本発明によれば、ソースコードについてユーザによって除外対象とされた欠陥箇所候補を適切に管理することができる。

図１は、一実施形態に係る欠陥検出装置のハードウェア構成例を示す図である。 図２は、一実施形態に係る欠陥検出装置の機能構成例を示す図である。 図３は、一実施形態に係るソースファイル群の例を示す図である。 図４は、一実施形態に係る欠陥候補情報の例を示す図である。 図５は、一実施形態に係る処理内容情報の例を示す図である。 図６は、一実施形態に係る拡張欠陥候補情報の例を示す図である。 図７は、一実施形態に係る除外対象情報の例を示す図である。 図８は、一実施形態に係る欠陥検出処理のフローチャートである。 図９は、一実施形態に係る改版後の拡張欠陥候補情報の例を示す図である。

以下、図面を参照しつつ、実施形態について説明する。以下の説明において、同一の又は類似する構成について同一の符号を付して、重複した説明を省略することがある。

図１は、一実施形態に係る欠陥検出装置のハードウェア構成例を示す図である。

欠陥検出装置１００は、プロセッサ１１０、主記憶装置１２０、補助記憶装置１３０、入力装置１４０、出力装置１５０、及び通信装置１６０を備える。これらは図示しないバス等の通信手段を介して互いに通信可能に接続されている。

プロセッサ１１０は、例えば、ＣＰＵ（Central Processing Unit）やＭＰＵ（Micro Processing Unit）を用いて構成されている。プロセッサ１１０が、主記憶装置１２０に格納されているプログラムを読み出して実行することにより、後述する欠陥検出装置１００の様々な機能部が実現される。

主記憶装置１２０は、プログラムやデータを記憶する装置であり、例えば、ＲＯＭ（Read Only Memory）、ＲＡＭ（Random Access Memory）、不揮発性半導体メモリ（ＮＶＲＡＭ（Non Volatile RAM））等である。主記憶装置１２０は、例えば、欠陥検出プログラムを記憶する。

補助記憶装置１３０は、例えば、ハードディスクドライブ、ＳＳＤ（Solid State Drive）、光学式記憶装置（ＣＤ（Compact Disc）、ＤＶＤ（Digital Versatile Disc）等）、ストレージシステム、ＩＣカード、ＳＤメモリカードや光学式記録媒体等の記録媒体の読取／書込装置、クラウドサーバの記憶領域等である。補助記憶装置１３０に格納されているプログラムやデータは主記憶装置１２０に随時読み込まれる。

入力装置１４０は、例えば、キーボード、マウス、タッチパネル、カードリーダ、音声入力装置等であり、ユーザからの各種情報の入力を受け付ける。出力装置１５０は、ユーザに処理経過や処理結果等の各種情報を提供するユーザインタフェースであり、例えば、画面表示装置（液晶モニタ、ＬＣＤ（Liquid Crystal Display）、グラフィックカード等）、音声出力装置（スピーカ等）、印字装置等である。なお、例えば、欠陥検出装置１００が通信装置１６０を介して他の装置との間で情報の入力や出力を行う構成としてもよい。

通信装置１６０は、ＬＡＮ（Local Area Network）やインターネット等の通信ネットワークを介して他の装置との間の通信を実現する有線方式又は無線方式の通信インタフェースであり、例えば、ＮＩＣ（Network Interface Card）、無線通信モジュール、ＵＳＢ（Universal Serial Interface）モジュール、シリアル通信モジュール等である。

図２は、一実施形態に係る欠陥検出装置の機能構成例を示す図である。

欠陥検出装置１００は、静的解析部２１０、処理内容生成部２２０、除外判定部２３０、表示制御部２４０、除外対象追加部２６０、情報記憶部２５０の各機能部を備える。静的解析部２１０、処理内容生成部２２０、除外判定部２３０、表示制御部２４０、及び除外対象追加部２６０は、プロセッサ１１０が主記憶装置１２０に格納された欠陥検出プログラムを実行することにより構成される。情報記憶部２５０は、主に、補助記憶装置１３０により構成される。これら機能部により実行される処理については、後述する。

情報記憶部２５０は、ソースファイル群２５１と、欠陥候補情報２５２と、処理内容情報２５３と、拡張欠陥候補情報２５４と、除外対象情報２５５とを記憶する。これら各種情報の詳細については後述する。

まず、ソースファイル群２５１について説明する。

図３は、一実施形態に係るソースファイル群の例を示す図である。図３においては、或るソースファイル群２５１についての改版前後の状態を示している。

ソースファイル群２５１は、静的解析部２１０と処理内容生成部２２０とに入力される。

改版前の時点におけるソースファイル群２５１は、１以上のソースファイル４１０を含む。ソースファイル４１０は、ファイル名がＦＩＬＥ１である。ソースファイル４１０には、１以上の行のソースコードが含まれている。ソースコードは、ＪＡＶＡ（登録商標）やＣ＋＋等のプログラミング言語でもよく、その他の任意のプログラミング言語でもよい。

改版後の時点におけるソースファイル群２５１は、１以上のソースファイル４２０を含む。ソースファイル４２０は、ファイル名がＦＩＬＥ１であり、ソースファイル４１０のソースコードの一部が変更等されて更新されたファイルである。改版後のソースファイル４２０は、改版前のソースファイル４１０において、１行目に新たな引数ｚを追加し、５行目と６行目との間に新たな行を追加し、９行目の記載の返り値を０からｃに変更したものである。ソースファイル４１０の６行目におけるａ／ｂと、ソースファイル４２０の８行目におけるａ／ｂと、については、単に表記されている行が異なるだけであり、内容については変更がない。しかしながら、ソースコードのこの行の記述のみでは、内容について変更がないかについては判定できない。

次に、欠陥候補情報２５２について説明する。

図４は、一実施形態に係る欠陥候補情報の例を示す図である。図４においては、改版前後の状態を示している。

欠陥候補情報２５２は、ソースファイル群２５１を入力として、静的解析部２１０により生成される。なお、ソースファイル群２５１に指摘すべき問題箇所が存在しない場合には、欠陥候補情報２５２は、作成されない。

欠陥候補情報２５２は、１以上のエントリ（指摘情報）を含む。欠陥候補情報２５２のエントリは、指摘ＩＤと、ファイル名と、メソッド名と、行番号と、問題箇所と、欠陥内容とのフィールドを含む。

指摘ＩＤには、エントリを識別するＩＤ（指摘ＩＤ）が格納される。ファイル名には、静的解析の対象としてソースファイルのファイル名が格納される。メソッド名には、ソースファイル内の静的解析の対象としてメソッド名が格納される。行番号には、欠陥内容が検出されたソースファイルの行番号が格納される。問題箇所には、ソースコードにおける欠陥が検出された箇所の式や命令等の記述（問題箇所）が格納される。欠陥内容には、背的解析により検出された欠陥内容、例えば、予め欠陥の可能性があると定義されたソースコードのパターンに対する欠陥の内容が格納される。

ファイル名、メソッド名、行番号、及び問題箇所に格納された情報は、欠陥内容を持つソースコードの箇所を特定するための情報である。なお、問題箇所が一意に特定できるならば、ファイル名、メソッド名、行番号、問題箇所の全てを欠陥候補２５２のエントリに含んでいなくてもよい。

改版前の欠陥候補情報２５２におけるエントリ５１０は、ファイル名ＦＩＬＥ１のソースファイル４１０が持つメソッドｍｅｔｈｏｄ１の６行目の式ａ／ｂにおいて、ゼロ除算の欠陥を含む可能性があることを示している。また、改版後の欠陥候補情報２５２のエントリ５２０は、ファイル名ＦＩＬＥ１のソースファイル４２０が持つメソッドｍｅｔｈｏｄ１の８行目の式ａ／ｂにおいて、ゼロ除算の欠陥を含む可能性があることを示している。

次に、処理内容情報２５３について説明する。

図５は、一実施形態に係る処理内容情報の例を示す図である。図５においては、改版前後のソースファイルについての処理内容情報を示している。

処理内容情報２５３は、ソースファイル群２５１と、欠陥候補情報２５２とに基づいて、処理内容生成部２２０により生成される。処理内容情報２５３は、欠陥候補情報２５２のエントリ毎に対応する情報であって、エントリの指摘ＩＤに対応付けられ、エントリの問題箇所に対応する1以上の具体的処理を格納するフィールドを含む。

改版前の処理内容情報２５３は、図４の改版前の指摘ＩＤ＝１のエントリ５１０に対応し、エントリ５１０の問題箇所についての４つの具体的処理を格納している。具体的には、問題箇所ａ／ｂの具体的処理として、（−ｘ）／（−ｙ）、（−ｘ）／ｙ、ｘ／（−ｙ）、ｘ／ｙとを格納している。改版後の処理内容情報２５３は、図４の改版後の指摘ＩＤ＝２のエントリ５２０に対応し、エントリ５２０の問題箇所についての４つの具体的処理を格納している。具体的には、問題箇所ａ／ｂの具体的処理として、（−ｘ）／（−ｙ）、（−ｘ）／ｙ、ｘ／（−ｙ）、ｘ／ｙとを格納している。図５に示す処理内容情報２５３については、改版前の時点での指摘ＩＤ＝１の問題箇所についての各具体的処理と、改版後の時点での指摘ＩＤ＝２の問題箇所についての各具体的処理とは同一となっている。このことは、改版前のソースファイルと、改前後のソースファイルとにおける問題箇所における具体的処理に変わりがないことを示している。

なお、処理内容情報２５３においては、各具体的処理に対して、その具体的処理が行われる条件（実行条件）を対応付けておいてもよい。例えば、図５の具体的処理６１０は、ソースファイル４１０のメソッドｍｅｔｈｏｄ１において、引数ｘとｙがどちらも負数の場合に行われる処理であるので、この具体的処理６１０について、実行条件「（ｘ＜０）∧（ｙ＜０）」を対応付けて保持するようにしてもよい。

ここで、具体的処理と、実行条件とを併せて保持する方法としては、具体的処理と実行条件とを合わせた、例えば、「（ｘ＜０）∧（ｙ＜０）⇒（−ｘ）／（−ｙ）」という論理式（ＩＦ−ＴＨＥＮ形式の論理式）で保持してもよく、実行条件と具体的処理と対応付けた、いわゆる決定表形式で保持してもよい。

次に、拡張欠陥候補情報２５４について説明する。

図６は、一実施形態に係る拡張欠陥候補情報の例を示す図である。図６の拡張欠陥候補情報２５４は、例えば、改版前の時点における例を示している。

拡張欠陥候補情報２５４の各エントリは、除外判定部２３０により、処理内容情報２５３に含まれる具体的処理のそれぞれについて、欠陥候補情報２５２の対応するエントリの各フィールドが付加されることで生成される。具体的には、拡張欠陥候補情報２５４のエントリは、指摘ＩＤと、ファイル名と、メソッド名と、行番号と、問題箇所と、具体的処理と、欠陥内容とのフィールドを含む。

拡張欠陥候補情報２５４のエントリは、除外のフィールドをさらに含む。除外のフィールドには、対応するエントリにおける情報について、ユーザに対して指摘する対象から除外するものであるか否か、すなわち、除外対象であるか否かを示す情報が格納される。本実施形態では、除外のフィールドに記号「●」が格納されていることにより、対応する情報が除外すること（除外対象であること）を表している。図６に示した拡張欠陥候補情報２５４においては、どのエントリの情報も除外対象とされていない。なお、除外対象を示す記号としては、「●」以外の記号を用いてもよい。なお、除外対象とする情報を含むエントリを拡張欠陥候補情報２５４から削除してもよい。また、除外対象とする情報を含むエントリを別情報（除外指摘情報）として、情報記憶部２５０に記憶して管理するようにしてもよい。また、拡張欠陥候補情報２５４のエントリに、具体的処理の実行条件を格納するようにしてもよい。

次に、除外対象情報２５５の例を示す図である。

図７は、一実施形態に係る除外対象情報の例を示す図である。

除外対象情報２５５は、除外対象追加部２６０によって生成される。除外対象情報２５５は、除外対象となる具体的処理毎のエントリを格納する。なお、除外対象となる具体的処理が設定されていない場合には、エントリは、存在しない。

除外対象情報２５５のエントリは、ファイル名、メソッド名、具体的処理、及び欠陥内容のフィールドを含む。ファイル名には、除外対象とするファイルのファイル名が格納される。メソッド名には、除外対象とするメソッド名が格納される。具体的処理には、除外対象とする具体的処理が格納される。欠陥内容には、エントリの具体的処理についての欠陥内容が格納される。なお、除外対象情報２２５においては、指摘ＩＤ、行番号、問題箇所等の情報を持つようにしてもよい。

図７に示す除外対象情報２５５のエントリ８１０は、ファイル名がＦＩＬＥ１のソースファイルにおける、メソッド名がｍｅｔｈｏｄ１であるメソッドにおける（−ｘ）／（−ｙ）という具体的処理についてのゼロ除算という欠陥内容については、除外対象であることを示している。

除外対象情報２５５のエントリは、除外対象追加部２６０によって追加される。具体的には、除外対象追加部２６０は、拡張欠陥候補２５４に含まれるエントリのうち、ユーザから修正不要である除外対象として登録する指示を受けたエントリから、そのエントリにおける、ファイル名、メソッド名、具体的処理、欠陥内容のフィールドの値を取得し、それらの値を含むエントリを除外対象情報２５５に追加する。

次に、欠陥検出装置１００による処理動作について説明する。

図８は、一実施形態に係る欠陥検出処理のフローチャートである。

欠陥検出処理は、例えば、ユーザからの指示を契機として開始されてもよく、スケジュールされたタイミングでバッチ処理等により自動的に開始してもよい。以下において、符号の前に付している文字「Ｓ」は処理ステップを意味する。

まず、欠陥検出装置１００の静的解析部２１０は、情報記憶部２５０に記憶されているソースファイル群２５１を読み込む（Ｓ３１０）。

次に、静的解析部２１０は、ソースファイル群２５１の各ソースファイルのソースコードに対して静的解析を行うことにより、問題箇所を検出し、欠陥候補情報２５２を生成する（Ｓ３２０）。具体的には、静的解析部２１０は、ソースファイル群２５１のソースコード中において、予め欠陥の可能性があるとして定義されたパターンに合致する箇所を、欠陥の可能性がある問題箇所として検出し、それらの問題箇所に対応するエントリを欠陥候補情報２５２に追加する。例えば、図３の改版前のソースファイル群２５１を対象にステップＳ３２０が実行されると、図４の改版前の欠陥候補情報２５２が生成される。一方、図３の改版後のソースファイル群２５１を対象にＳ３２０が実行されると、図４の改版後の欠陥候補情報２５２が生成される。

次に、処理内容生成部２２０は、欠陥候補情報２５２に含まれるエントリの夫々について、ソースファイル群２５１の問題箇所についての具体的処理を解析し、処理内容情報２５３を生成する（Ｓ３３０）。具体的処理とは、問題箇所が式や命令（例えば、小文字変換命令等）である場合において、実際にどのような計算が行われるかをより具体的に示したものである。例えば、問題箇所が変数を含む式である場合には、この式の変数に対して、より具体的な変数を代入して得られる式や、変数に対して具体的な値を代入して得られる式や値が具体的処理の一例である。例えば、図３の改版前のソースファイル４１０で、メソッドｍｅｔｈｏｄ１の６行目にある式ａ／ｂは、このメソッドの引数ｘとｙの符号に応じて、ｘ／ｙ、ｘ／（−ｙ）、（−ｘ）／ｙ、（−ｘ）／（−ｙ）の４つのいずれかの式となる。これらの式が具体的処理の一例である。問題箇所に対応する具体的処理は、記号実行等のソースコード解析技術により生成することができる。なお、問題箇所が、ソースコード中のコメントに対する指摘など、式や命令ではない場合には、具体的処理を生成できないので、処理内容生成部２２０は、Ｓ３３０における処理対象としない。

次に、除外判定部２３０は、情報記憶部２５０に記憶されている除外対象情報２５５を読み込む（Ｓ３４０）。

次に、除外判定部２３０は、処理内容情報２５３に含まれる具体的処理の夫々について、欠陥候補情報２５２に含まれるエントリの内容を付加することで、拡張欠陥候補情報２５４のエントリを生成し、拡張欠陥候補情報２５４のエントリについて、除外対象情報２５５のエントリに対応する具体的処理を含むか否かを判定することにより、除外対象であるか否かを判定する除外判定処理を行う（Ｓ３５０）。

ここで、除外判定部２３０による除外判定処理について詳細に説明する。

除外判定部２３０は、拡張欠陥候補情報２５４のエントリの夫々について、そのエントリのファイル名、メソッド名、具体的処理、及び欠陥内容の組が、除外対象情報２５５のエントリのいずれかと対応（例えば、一致）するか否かを判定し、対応する場合に、その拡張欠陥候補情報２５４のエントリを除外対象と判定し、そのエントリの除外のフィールドに除外を示す記号を格納する。

ここで、拡張欠陥候補情報２５４のエントリに含まれる具体的処理と、除外対象情報２５５のエントリに含まれる具体的処理との対応の有無は、具体的処理の文字列一致により判定してもよく、または、具体的処理の論理的な等価性により同一判定を行ってもよい。論理的な等価性による判定とは、例えばｐ＋ｑとｑ＋ｐとは同一であるといったように、論理的に等価である場合に同一であるとする判定である。このような論理的な等価性による判定を行うようにすると、文字列一致での判定よりも多くの同一判定を適切に行うことができるので、拡張欠陥候補情報２５４からより多くの除外対象を検出することができる。論理的な等価性は、例えばＳＭＴソルバ（Satisfiability Modulo Theories Solver）を用いて判定してもよい。

例えば、改版前のソースファイル群２５１を処理対象としており、除外対象情報２５５にエントリが存在しない場合には、除外判定処理後には、拡張欠陥候補情報２５４は図６に示す状態となる。一方、改版後のソースファイル群２５１を処理対象としており、除外対象情報２５５が図７に示す状態である場合には、除外判定処理後には、拡張欠陥候補情報２５４は図９に示す状態のように、除外対象情報２５５のいずれかのエントリの具体的処理と対応する（例えば、同一の）具体的処理を含むエントリにおいて、除外のフィールドに除外を示す記号が設定される。この例の場合には、図９に示す拡張欠陥候補情報２５４の全てのエントリの除外のフィールドに、除外を示す記号が設定される。

次に、表示制御部２４０は、拡張欠陥候補情報２５４に基づいて、除外対象とされていない具体的処理についての指摘情報（問題箇所、具体的処理、欠陥内容等）について、除外されていないこと（除外対象ではないこと）を識別可能な状態で出力装置１５０に出力する。ここで、指摘情報について、除外対象ではないことを識別可能な状態で出力するとは、例えば、図６又は図８に示すように、除外対象であることを示す除外フィールドを有している拡張欠陥候補情報２５４を同様な態様で出力してもよく、拡張欠陥候補情報２５４のうちの除外フィールドに除外を示すマークが設定されていないエントリの情報のみを出力してもよく、除外フィールドに除外を示すマークが設定されていないエントリの情報と、除外フィールドに除外を示すマークが設定されているエントリの情報と、を識別可能なように別表として出力してもよい。要は、表示制御部２４０は、ユーザが考慮する必要がある問題箇所の情報を容易に識別できるように表示すればよい。

次に、除外対象追加部２６０は、出力装置１５０に出力されている具体的処理についての指摘情報のそれぞれに対して、以降の改版を行った際に除外対象とする（例えば、修正不要である）か否かのユーザによる指定を受け付け可能とする。除外対象追加部２６０は、ユーザから具体的処理の指摘情報に対して、除外対象とする指定を受け付けた場合には、指定を受け付けた具体的処理の指摘情報に対応するエントリを除外対象情報２５５に追加する（Ｓ３６０）。例えば、図６に示す拡張欠陥情報２５４が表示されており、全てのエントリに対して、除外対象とする指定を受け付けた場合には、除外対象情報２５５は、図７に示す状態となる。

Ｓ３６０において、除外対象情報２５５に追加されたエントリに対応する指摘情報は、次回以降の欠陥検出処理におけるＳ３５０において、使用されることとなる。この結果、例えば、改版後のソースファイル群２５１を処理対象としており、除外対象情報２５５が図７に示す状態である場合には、図９に示す拡張欠陥候補情報２５４のすべてのエントリについて、ファイル名、メソッド名、具体的処理、欠陥内容の組が、図７に示す除外対象情報２５５に含まれるため、すべてのエントリが除外対象と判定されて、除外フィールドには、除外を示す記号が設定されることとなる。

なお、Ｓ３６０において、除外対象となっている具体的処理の指摘情報についても表示している場合においては、除外対象となっている具体的処理の指摘情報を除外対象から外す指定を受け付けるようにしてもよく、この場合には、除外対象追加部２６０は、指定された具体的処理の指摘情報に対応するエントリを除外対象情報２５５から削除するようにすればよい。

以上説明したように、本実施形態に係る欠陥検出処理においては、ユーザが以降の処理において除外対象とする指定を行った具体的処理の指摘情報について、適切に管理することができる。これにより、改版前のソースファイル群１５１に対する欠陥検出処理において、除外対象情報２５５に登録された具体的処理に対応する具体的処理の指摘情報については、改版後のソースファイル群１５１に対する欠陥検出処理では、除外対象であると判定され、除外対象でない指摘情報が除外対象でないことを識別可能な状態で出力装置１５０に出力される。これにより、ユーザは、除外されていない指摘情報についてのみ確認し、修正等が必要であれば対応すれば済む。すなわち、改版前において修正等が必要ないと判断したものに対して、再度同じ判断をする必要がない。この結果、ソースコードの改変作業におけるユーザの負荷を軽減することができる。

なお、本発明は、上述の実施形態に限定されるものではなく、本発明の趣旨を逸脱しない範囲で、適宜変形して実施することが可能である。

例えば、上記実施形態では、Ｓ３５０においては、具体的処理についての指摘情報（問題箇所、具体的処理、欠陥内容等）を表示するようにしていたが、更に具体的処理の実行条件についても表示するようにしてもよい。このようにすると、ユーザは実行条件を確認して具体的処理が適切であるか否かを確認することができる。

また、上記実施形態では、具体的処理毎に、除外対象とするか否かを設定できるようにしていたが、本発明はこれに限られず、例えば、問題箇所に対する複数の具体的処理の全体をまとめて、除外対象とするか否かを設定できるようにしてもよい。

また、上記実施形態では、拡張欠陥候補情報２５４のエントリの夫々について、そのエントリのファイル名、メソッド名、具体的処理、及び欠陥内容の組が、除外対象情報２５５のエントリのいずれかと対応するか否かを判定することにより、除外対象か否かを判定するようにしていたが、本発明はこれに限られず、その組に対してさらに実行条件を含めた組がエントリのいずれかと対応するか否かを判定することにより、除外対象か否かを判定するようにしてもよい。

また、上記実施形態において、ＣＰＵが行っていた処理の一部又は全部を、ハードウェア回路で行うようにしてもよい。また、上記実施形態におけるプログラムは、プログラムソースからインストールされてよい。プログラムソースは、プログラム配布サーバ又は記憶メディア（例えば可搬型の記憶メディア）であってもよい。

１００…欠陥検出装置、２１０…処理内容生成部、２２０…処理内容生成部、２３０…除外判定部、２４０…表示制御部、２５０…情報記憶部、２６０…除外対象追加部、２５１…ソースファイル群、２５２…欠陥候補候補情報、２５３…処理内容情報、２５４…拡張欠陥候補情報、２５５…除外対象情報

Claims (10)

1. ソースコードの欠陥箇所候補を検出する欠陥検出装置であって、
   前記ソースコードにおける欠陥箇所候補を静的解析により検出する静的解析部と、
   前記静的解析部により検出された欠陥箇所候補について具体的処理があるものに対する具体的処理を生成する処理内容生成部と、
   前記欠陥箇所候補に対して生成された具体的処理を表示させる表示制御部と、
   具体的処理を欠陥箇所候補から除外対象とする指示を受け付け、前記指示を受けた具体的処理を前記欠陥箇所候補の除外対象とすることを示す除外対象情報を記憶させる除外対象追加部と、
   を備える欠陥検出装置。
2. 前記処理内容生成部により生成された具体的処理が、前記除外対象情報が示す除外対象の具体的処理に対応するか否かを判定する除外判定部をさらに備え、
   前記表示制御部は、前記除外判定部により前記除外対象情報が示す除外対象の具体的処理と対応しないと判定された具体的処理について、前記除外対象ではないことを識別可能な態様で表示させる
   請求項１に記載の欠陥検出装置。
3. 前記除外判定部は、前記除外対象情報が示す除外対象の具体的処理と、生成された具体的処理との等価性をＳＭＴソルバ（Satisfiability Modulo Theories Solver）により判定し、等価性がある場合に、前記具体的処理が、前記除外対象情報が示す除外対象の具体的処理に対応すると判定する
   請求項２に記載の欠陥検出装置。
4. 前記表示制御部は、前記具体的処理についての実行条件を前記具体的処理と対応付けて表示させる
   請求項１に記載の欠陥検出装置。
5. 前記表示制御部は、前記除外対象情報が示す除外対象の具体的処理に対応する具体的処理を表示させない、又は除外対象情報が示す除外対象の具体的処理に対応する具体的処理については、除外対象情報が示す除外対象の具体的処理に対応することを識別可能に表示させることにより、具体的処理が前記除外対象ではないことを識別可能な態様で表示させる
   請求項２に記載の欠陥検出装置。
6. 前記欠陥箇所候補は、変数を含む式であり、前記欠陥箇所候補に対応する具体的処理は、前記変数をより具体的な変数で表した式または、前記変数を具体的な値で表した式又は値である
   請求項１に記載の欠陥検出装置。
7. 前記処理内容生成部は、前記欠陥箇所候補について記号実行を行うことにより、前記具体的処理を生成する
   請求項６に記載の欠陥検出装置。
8. 一の欠陥箇所候補から複数の具体的処理を生成した場合に、前記除外対象追加部は、前記具体的処理毎に除外対象とするかの指定を受け付け可能である
   請求項１に記載の欠陥検出装置。
9. ソースコードの欠陥箇所を検出する欠陥検出装置による欠陥検出方法であって、
   前記ソースコードにおける欠陥箇所候補を静的解析により検出し、
   検出された欠陥箇所候補について具体的処理があるものに対する具体的処理を生成し、
   前記欠陥箇所候補に対応する具体的処理を表示させ、
   具体的処理を欠陥箇所候補の除外対象とする指示を受け付け、前記指示を受けた具体的処理を前記欠陥箇所候補の除外対象とすることを示す除外対象情報を記憶させる、
   欠陥検出方法。
10. ソースコードの欠陥箇所を検出する処理を計算機に実行させる欠陥検出プログラムであって、
    前記計算機を
    前記ソースコードにおける欠陥箇所候補を静的解析により検出する静的解析部と、
    前記静的解析部により検出された欠陥箇所候補について具体的処理があるものに対する具体的処理を生成する処理内容生成部と、
    前記欠陥箇所候補に対応する具体的処理を表示させる表示制御部と、
    具体的処理を欠陥箇所候補から除外対象とする指示を受け付け、前記指示を受けた具体的処理を前記欠陥箇所候補の除外対象とすることを示す除外対象情報を記憶させる除外対象追加部と、
    して機能させる欠陥検出プログラム。