JP2021192201A - 修正支援プログラム、修正支援方法、および修正支援装置 - Google Patents

Abstract

【課題】ソースコードを修正し易くすること。【解決手段】修正支援装置１００は、ソースコード１１０を取得する。修正支援装置１００は、ソースコード１１０内の、規約違反の箇所１１１を検出する。修正支援装置１００は、ソースコード１１０の文脈を考慮して、検出した規約違反の箇所１１１を削除するのではなく、開発者１２０の意図に合うよう、ソースコード１１０をどのように修正すればよいのかを示す対処案を特定し、開発者１２０が参照可能に出力する。【選択図】図１

Description

本発明は、修正支援プログラム、修正支援方法、および修正支援装置に関する。

従来、ソフトウェアを実行せずに、ソフトウェアのソースコードを文言的に解析することにより、ソフトウェアのソースコードの中から、規約違反の箇所またはバグの原因箇所などを発見する静的解析ツールが存在する。規約は、例えば、コーディング規約である。

コーディング規約は、例えば、ＣＥＲＴ（Ｃｏｍｐｕｔｅｒ Ｅｍｅｒｇｅｎｃｙ Ｒｅｓｐｏｎｓｅ Ｔｅａｍ）の標準セキュアコーディング規約などである。そして、ソフトウェアの開発者は、発見された規約違反の箇所またはバグの原因箇所などを参照して、規約違反またはバグなどが解消されるよう、ソースコードを修正することになる。

先行技術としては、例えば、ソースコードから解析に用いる情報を抽出し、ソースコードから欠陥情報を検出し、欠陥情報および解析に用いる情報に基づいて、修正例示情報を生成するものがある。また、例えば、ソースプログラムにおいて翻訳エラーとなった未定義語の属性候補を構文規則に基づいて抽出し、未定義語に類似する定義語のうち抽出した属性候補が示す属性を有する定義語を、修正候補として抽出する技術がある。

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

しかしながら、従来技術では、ソースコードを修正することが難しい。例えば、ソフトウェアの開発者は、ソースコードを修正するにあたり、プログラミングに関する能力が比較的低い場合、ソースコードを本来意図した内容とは異なる内容に変更してしまい、規約違反またはバグなどが解消されないことがある。

１つの側面では、本発明は、ソースコードを修正し易くすることを目的とする。

１つの実施態様によれば、ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する修正支援プログラム、修正支援方法、および修正支援装置が提案される。

１つの実施態様によれば、ソースコードにおける、多重の領域解放命令を検出し、ソースコードにおける、未解放の変数を検出し、前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する修正支援プログラム、修正支援方法、および修正支援装置が提案される。

一態様によれば、ソースコードを修正し易くすることが可能になる。

図１は、実施の形態にかかる修正支援方法の一実施例を示す説明図である。 図２は、修正支援システム２００の一例を示す説明図である。 図３は、修正支援装置１００のハードウェア構成例を示すブロック図である。 図４は、修正支援装置１００の機能的構成例を示すブロック図である。 図５は、修正支援装置１００の動作例１を示す説明図（その１）である。 図６は、修正支援装置１００の動作例１を示す説明図（その２）である。 図７は、修正支援装置１００の動作例１を示す説明図（その３）である。 図８は、修正支援装置１００の動作例１を示す説明図（その４）である。 図９は、修正支援装置１００の動作例１を示す説明図（その５）である。 図１０は、修正支援装置１００の動作例１を示す説明図（その６）である。 図１１は、動作例１における全体処理手順の一例を示すフローチャートである。 図１２は、修正支援装置１００の動作例２を示す説明図（その１）である。 図１３は、修正支援装置１００の動作例２を示す説明図（その２）である。 図１４は、修正支援装置１００の動作例２を示す説明図（その３）である。 図１５は、修正支援装置１００の動作例２を示す説明図（その４）である。 図１６は、動作例２における全体処理手順の一例を示すフローチャートである。 図１７は、修正支援装置１００による効果を示す説明図である。

以下に、図面を参照して、本発明にかかる修正支援プログラム、修正支援方法、および修正支援装置の実施の形態を詳細に説明する。

（実施の形態にかかる修正支援方法の一実施例）
図１は、実施の形態にかかる修正支援方法の一実施例を示す説明図である。修正支援装置１００は、ソースコードを修正し易くするためのコンピュータである。修正支援装置１００は、例えば、サーバ、または、ＰＣ（Ｐｅｒｓｏｎａｌ Ｃｏｍｐｕｔｅｒ）などである。

従来、ソフトウェアの開発者は、静的解析ツールを利用して、ソフトウェアを実行しないまま、発見されたソフトウェアのソースコードに含まれる、規約違反の箇所またはバグの原因箇所などが解消されるよう、ソフトウェアのソースコードを修正する。

しかしながら、開発者が、ソースコードを修正することは難しい場合がある。例えば、開発者が、ソースコードを本来意図した内容通りに変更して修正することができるか否かは、開発者が有する、プログラミングに関する能力の高さに依存すると考えられる。

このため、開発者は、プログラミングに関する能力の高さが比較的低いと、ソースコードを本来意図した内容とは異なる内容に変更してしまい、ソースコードを修正することができないことがある。また、開発者は、プログラミングに関する能力の高さが比較的低いと、ソースコードを修正する際にかかる作業負担の増大化を招くことがある。

これに対し、ソースコード内で、削除しても構わないと判断され、不要と判断される規約違反の箇所を発見し、発見した箇所を削除するよう、ソースコードを修正する対処案を、開発者が参照可能に出力する手法が考えられる。

この手法では、ソースコードの文脈を考慮することができず、規約違反の箇所を、開発者が、どのような意図で記述したのかを考慮することができず、規約違反の箇所が、誤って不要と判断されてしまうことがある。例えば、プログラミング言語の文法上は適切であり、コンパイルエラーとはならないものの、開発者が意図した内容を実現していない規約違反の箇所が、誤って不要と判断されてしまうことがある。そして、開発者は、対処案を参照して、誤って不要と判断された規約違反の箇所を削除してしまうことになり、ソースコードを本来意図した内容通りに修正することができないことがある。

特に、近年、既存のソースコードを流用して新たなソースコードを開発するといった流用開発と呼ばれる手法で、新たなソースコードが開発される傾向がある。ここで、既存のソースコードを流用するにあたり、開発者が、既存のソースコードを、意図通りに修正しきれなかった結果、新たなソースコードに、規約違反となる箇所が含まれる場合がある。

具体的には、既存のソースコードを流用するにあたり、開発者が、サイズ演算子の出力結果を参照する箇所を、正しく変更することができなかった場合が考えられる。この場合、新たなソースコードに、出力結果が未参照であるサイズ演算子が含まれてしまう。この場合、サイズ演算子は、文法上は適切であり、コンパイルエラーとはならないものの、サイズ演算子の出力結果を参照したいといった開発者が意図した内容を実現せず、機能的に意味を有さない、不要な箇所であると判断されてしまうことが考えられる。

また、具体的には、既存のソースコードを流用するにあたり、開発者が、領域解放命令の対象となる変数を表す変数名を、正しく変更することができなかった場合が考えられる。この場合、新たなソースコードに、それぞれ異なる変数ではなく、同一の変数を対象とする多重の領域解放命令が含まれてしまう。この場合、多重の領域解放命令は、文法上は適切であり、コンパイルエラーとはならないものの、それぞれ異なる変数を解放したいといった開発者が意図した内容を実現せず、不要な箇所であると判断されてしまうことが考えられる。

これに対し、上記手法では、開発者が、どのような意図で、既存のソースコードを修正しようとしたのかを考慮することができないため、新たなソースコードに含まれる、規約違反となる箇所を、誤って不要な箇所と判断してしまうことがある。そして、開発者は、対処案を参照して、誤って不要と判断された規約違反の箇所を削除してしまうことになり、ソースコードを本来意図した内容通りに修正することができないことがある。

そこで、本実施の形態では、ソースコードを修正し易くすることができる修正支援方法について説明する。

図１において、修正支援装置１００は、ソースコード１１０を取得する。ソースコード１１０は、例えば、開発者１２０によって作成される。修正支援装置１００は、ソースコード１１０内の、規約違反の箇所１１１を検出する。修正支援装置１００は、ソースコード１１０の文脈を考慮して、検出した規約違反の箇所１１１を削除するのではなく、開発者１２０の意図に合うようソースコード１１０をどのように修正すればよいのかを示す対処案を特定し、開発者１２０が参照可能に出力する。

（１−１）修正支援装置１００は、例えば、関数ごとに、当該関数の引数となる変数を特定可能にする情報を記憶する。修正支援装置１００は、具体的には、関数ごとに、当該関数の引数となる、データの格納先を表す変数と、当該変数のサイズを表す変数とを特定可能にする情報を記憶する。関数は、例えば、ｍｅｍｓｅｔ命令、または、ｍｅｍｃｐｙ命令などである。

（１−２）修正支援装置１００は、例えば、ソースコード１１０を取得する。修正支援装置１００は、例えば、ソースコード１１０に記述されたサイズ演算子の出力結果が、ソースコード１１０において未参照であることを検出する。サイズ演算子は、例えば、ソースコード１１０に記述された変数のうち、指定された変数のサイズを出力する演算子である。サイズ演算子は、例えば、ｓｉｚｅｏｆ命令である。修正支援装置１００は、具体的には、ソースコード１１０に記述されたサイズ演算子の出力結果が、ソースコード１１０において未参照であることを検出し、規約違反となるサイズ演算子を検出する。

（１−３）修正支援装置１００は、例えば、サイズ演算子の出力結果が未参照であることを検出した場合、記憶した情報に基づいて、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。修正支援装置１００は、具体的には、記憶した情報に基づいて、サイズ演算子を含む、ソースコード１１０に記述された関数の中で、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。

（１−４）修正支援装置１００は、例えば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコード１１０を修正する内容を出力する。出力される内容は、例えば、ソースコード１１０に対する修正の候補案に対応する。修正支援装置１００は、具体的には、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコード１１０を修正する内容を、対処案として開発者１２０が参照可能に表示する。

これにより、修正支援装置１００は、ソースコード１１０の文脈を考慮して、規約違反となるサイズ演算子を削除するのではなく、開発者１２０の意図に合うよう、ソースコード１１０をどのように修正すればよいのかを示す対処案を特定することができる。修正支援装置１００は、例えば、特定の関数の引数となるサイズを表す変数が、規約違反となるサイズ演算子の出力結果を参照するよう、ソースコード１１０を修正すればよいことを示す対処案を特定して出力することができる。このため、修正支援装置１００は、開発者１２０が、対処案に基づき、ソースコード１１０を修正し易くすることができ、開発者１２０にかかる作業負担の低減化を図ることができる。

（２−１）修正支援装置１００は、例えば、関数ごとに、当該関数の引数となる変数を特定可能にする情報を記憶する。修正支援装置１００は、具体的には、関数ごとに、当該関数の引数となる、解放する領域を表す変数を特定可能にする情報を記憶する。関数は、例えば、領域解放命令である。領域解放命令は、例えば、ｆｒｅｅ命令、または、ｆｃｌｏｓｅ命令などである。

（２−２）修正支援装置１００は、例えば、ソースコード１１０を取得する。修正支援装置１００は、例えば、ソースコード１１０における、多重の領域解放命令を検出する。修正支援装置１００は、具体的には、記憶した情報に基づいて、ソースコード１１０における、解放する領域を表す、同一の変数を引数とする、規約違反となる多重の領域解放命令を検出する。

（２−３）修正支援装置１００は、例えば、ソースコード１１０における、未解放の変数を検出する。修正支援装置１００は、具体的には、記憶した情報に基づいて、多重の領域解放命令を含む、ソースコード１１０に記述された関数の中で、領域解放命令により解放されていない未解放の変数を検出する。

（２−４）修正支援装置１００は、例えば、多重の領域解放命令を検出し、かつ、未解放の変数を検出した場合、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコード１１０を修正する内容を出力する。出力される内容は、例えば、ソースコード１１０に対する修正の候補案に対応する。修正支援装置１００は、具体的には、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコード１１０を修正する内容を、対処案として開発者１２０が参照可能に表示する。

これにより、修正支援装置１００は、ソースコード１１０の文脈を考慮して、規約違反となる領域解放命令を削除するのではなく、開発者１２０の意図に合うよう、ソースコード１１０をどのように修正すればよいのかを示す対処案を特定することができる。修正支援装置１００は、規約違反となる多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコード１１０を修正すればよいことを示す対処案を特定して出力することができる。このため、修正支援装置１００は、開発者１２０が、対処案に基づき、ソースコード１１０を修正し易くすることができ、開発者１２０にかかる作業負担の低減化を図ることができる。

ここでは、修正支援装置１００が、対処案を出力する場合について説明したが、これに限らない。例えば、修正支援装置１００が、対処案に基づいて、ソースコード１１０を修正する場合があってもよい。これによれば、修正支援装置１００は、開発者１２０にかかる作業負担の低減化を図ることができる。

ここでは、修正支援装置１００が、ソースコード１１０を修正する内容を、対処案として開発者１２０が参照可能に表示する場合について説明したが、これに限らない。例えば、修正支援装置１００が、ソースコード１１０を修正する内容を、対処案として、ソースコード１１０を作成した開発者１２０以外が参照可能に表示する場合があってもよい。

ここでは、修正支援装置１００が、ソースコード１１０を取得したことに応じて、規約違反の箇所１１１を検出し、ソースコード１１０をどのように修正すればよいのかを示す対処案を特定して出力する場合について説明したが、これに限らない。例えば、開発者１２０が、対処案に基づき、ソースコード１１０を修正したことに応じて、修正支援装置１００が、再び、規約違反の箇所１１１を検出し、ソースコード１１０をどのように修正すればよいのかを示す対処案を特定して出力する場合があってもよい。

ここでは、修正支援装置１００が、ソースコード１１０を修正する内容を、対処案として、開発者１２０が参照可能に表示する場合について説明したが、これに限らない。例えば、修正支援装置１００が、他のコンピュータに、ソースコード１１０を修正する内容を送信し、対処案として開発者１２０が参照可能に表示させる場合があってもよい。この場合に対応する具体例については、例えば、図２を用いて後述する。

（修正支援システム２００の一例）
次に、図２を用いて、図１に示した修正支援装置１００を適用した、修正支援システム２００の一例について説明する。

図２は、修正支援システム２００の一例を示す説明図である。図２において、修正支援システム２００は、修正支援装置１００と、クライアント装置２０１とを含む。

修正支援システム２００において、修正支援装置１００とクライアント装置２０１とは、有線または無線のネットワーク２１０を介して接続される。ネットワーク２１０は、例えば、ＬＡＮ（Ｌｏｃａｌ Ａｒｅａ Ｎｅｔｗｏｒｋ）、ＷＡＮ（Ｗｉｄｅ Ａｒｅａ Ｎｅｔｗｏｒｋ）、インターネットなどである。

修正支援装置１００は、ソースコードを、クライアント装置２０１から受信することにより取得する。修正支援装置１００は、ソースコード内の規約違反の箇所を検出する。修正支援装置１００は、ソースコードの文脈を考慮して、検出した規約違反の箇所を削除するのではなく、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを特定する。修正支援装置１００は、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを示す対処案を、クライアント装置２０１に送信する。

クライアント装置２０１は、ソースコードを作成または修正する開発者によって用いられるコンピュータである。ソースコードを修正する開発者は、例えば、ソースコードを作成する開発者と同一の者である。ソースコードを修正する開発者は、例えば、ソースコードを作成する開発者とは異なる者であってもよい。クライアント装置２０１は、ソースコードを、修正支援装置１００に送信する。クライアント装置２０１は、ソースコードを作成した開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを示す対処案を、修正支援装置１００から受信し、ソースコードを修正する開発者が参照可能に表示する。クライアント装置２０１は、例えば、ＰＣ、タブレット端末、または、スマートフォンなどである。開発者は、対処案を参照して、ソースコードを修正する。

ここでは、修正支援装置１００が、ソースコード内の規約違反の箇所を検出し、かつ、ソースコードの文脈を考慮して、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを特定する場合について説明したが、これに限らない。例えば、修正支援装置１００が、ソースコード内の規約違反の箇所を検出せず、ソースコード内の規約違反の箇所を検出可能な他のコンピュータと通信可能である場合があってもよい。この場合、修正支援装置１００は、ソースコード内の規約違反の箇所を検出した結果を他のコンピュータから受信し、ソースコードをどのように修正すればよいのかを特定する。

（修正支援装置１００のハードウェア構成例）
次に、図３を用いて、修正支援装置１００のハードウェア構成例について説明する。

図３は、修正支援装置１００のハードウェア構成例を示すブロック図である。図３において、修正支援装置１００は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）３０１と、メモリ３０２と、ネットワークＩ／Ｆ（Ｉｎｔｅｒｆａｃｅ）３０３と、記録媒体Ｉ／Ｆ３０４と、記録媒体３０５とを有する。また、各構成部は、バス３００によってそれぞれ接続される。

ここで、ＣＰＵ３０１は、修正支援装置１００の全体の制御を司る。メモリ３０２は、例えば、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）およびフラッシュＲＯＭなどを有する。具体的には、例えば、フラッシュＲＯＭやＲＯＭが各種プログラムを記憶し、ＲＡＭがＣＰＵ３０１のワークエリアとして使用される。メモリ３０２に記憶されるプログラムは、ＣＰＵ３０１にロードされることにより、コーディングされている処理をＣＰＵ３０１に実行させる。

ネットワークＩ／Ｆ３０３は、通信回線を通じてネットワーク２１０に接続され、ネットワーク２１０を介して他のコンピュータに接続される。そして、ネットワークＩ／Ｆ３０３は、ネットワーク２１０と内部のインターフェースを司り、他のコンピュータからのデータの入出力を制御する。ネットワークＩ／Ｆ３０３は、例えば、モデムやＬＡＮアダプタなどである。

記録媒体Ｉ／Ｆ３０４は、ＣＰＵ３０１の制御に従って記録媒体３０５に対するデータのリード／ライトを制御する。記録媒体Ｉ／Ｆ３０４は、例えば、ディスクドライブ、ＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）、ＵＳＢ（Ｕｎｉｖｅｒｓａｌ Ｓｅｒｉａｌ Ｂｕｓ）ポートなどである。記録媒体３０５は、記録媒体Ｉ／Ｆ３０４の制御で書き込まれたデータを記憶する不揮発メモリである。記録媒体３０５は、例えば、ディスク、半導体メモリ、ＵＳＢメモリなどである。記録媒体３０５は、修正支援装置１００から着脱可能であってもよい。

修正支援装置１００は、上述した構成部のほか、例えば、キーボード、マウス、ディスプレイ、プリンタ、スキャナ、マイク、スピーカーなどを有してもよい。また、修正支援装置１００は、記録媒体Ｉ／Ｆ３０４や記録媒体３０５を複数有していてもよい。また、修正支援装置１００は、記録媒体Ｉ／Ｆ３０４や記録媒体３０５を有していなくてもよい。

（クライアント装置２０１のハードウェア構成例）
クライアント装置２０１のハードウェア構成例は、図３に示した修正支援装置１００のハードウェア構成例と同様であるため、説明を省略する。

（修正支援装置１００の機能的構成例）
次に、図４を用いて、修正支援装置１００の機能的構成例について説明する。

図４は、修正支援装置１００の機能的構成例を示すブロック図である。修正支援装置１００は、記憶部４００と、取得部４０１と、検出部４０２と、特定部４０３と、修正部４０４と、出力部４０５とを含む。

記憶部４００は、例えば、図３に示したメモリ３０２や記録媒体３０５などの記憶領域によって実現される。以下では、記憶部４００が、修正支援装置１００に含まれる場合について説明するが、これに限らない。例えば、記憶部４００が、修正支援装置１００とは異なる装置に含まれ、記憶部４００の記憶内容が修正支援装置１００から参照可能である場合があってもよい。

取得部４０１〜出力部４０５は、制御部の一例として機能する。取得部４０１〜出力部４０５は、具体的には、例えば、図３に示したメモリ３０２や記録媒体３０５などの記憶領域に記憶されたプログラムをＣＰＵ３０１に実行させることにより、または、ネットワークＩ／Ｆ３０３により、その機能を実現する。各機能部の処理結果は、例えば、図３に示したメモリ３０２や記録媒体３０５などの記憶領域に記憶される。

記憶部４００は、各機能部の処理において参照され、または更新される各種情報を記憶する。記憶部４００は、例えば、ソースコードを記憶する。ソースコードは、例えば、開発者によって作成される。

記憶部４００は、例えば、関数ごとに、当該関数の引数となる変数を特定可能にする情報を記憶する。記憶部４００は、具体的には、関数ごとに、当該関数の引数となる、データの格納先を表す変数と、当該変数のサイズを表す変数とを特定可能にする情報を記憶する。関数は、例えば、ｍｅｍｓｅｔ命令、または、ｍｅｍｓｐｙ命令などである。記憶部４００は、より具体的には、関数ごとに、当該関数の引数となる、データの格納先を表す変数の変数名と、当該変数のサイズを表す変数の変数名とを対応付けた情報を記憶する。

記憶部４００は、具体的には、関数ごとに、当該関数の引数となる、解放する領域を表す変数を特定可能にする情報を記憶する。関数は、例えば、領域解放命令である。領域解放命令は、例えば、ｆｒｅｅ命令、または、ｆｃｌｏｓｅ命令などである。記憶部４００は、より具体的には、関数ごとに、当該関数の引数となる、解放する領域を表す変数の変数名を対応付けた情報を記憶する。

取得部４０１は、各機能部の処理に用いられる各種情報を取得する。取得部４０１は、取得した各種情報を、記憶部４００に記憶し、または、各機能部に出力する。また、取得部４０１は、記憶部４００に記憶しておいた各種情報を、各機能部に出力してもよい。取得部４０１は、例えば、利用者の操作入力に基づき、各種情報を取得する。利用者は、例えば、開発者である。取得部４０１は、例えば、修正支援装置１００とは異なる装置から、各種情報を受信してもよい。

取得部４０１は、ソースコードを取得する。取得部４０１は、例えば、利用者の操作入力に基づき、ソースコードの入力を受け付けることにより、ソースコードを取得する。取得部４０１は、例えば、利用者の操作入力に基づき、ソースコードを、記憶部４００から読み出すことにより取得する。取得部４０１は、例えば、ソースコードを、クライアント装置２０１から受信することにより取得してもよい。

取得部４０１は、いずれかの機能部の処理を開始する開始トリガーを受け付けてもよい。開始トリガーは、例えば、利用者による所定の操作入力があったことである。開始トリガーは、例えば、他のコンピュータから、所定の情報を受信したことであってもよい。開始トリガーは、例えば、いずれかの機能部が所定の情報を出力したことであってもよい。

取得部４０１は、例えば、ソースコードを取得したことを、検出部４０２と、特定部４０３と、出力部４０５との処理を開始する開始トリガーとして受け付ける。取得部４０１は、例えば、出力部４０５が対処案を出力した結果、開発者がソースコードを修正したことを検出し、検出部４０２と、特定部４０３と、出力部４０５との処理を開始する開始トリガーとして受け付けてもよい。

検出部４０２は、ソースコードにおいて規約違反となる箇所を検出する。規約違反は、例えば、プログラミング言語の文法上は適切であり、コンパイルエラーとはならないものの、所定の規約に違反した箇所である。所定の規約は、例えば、コーディング規約である。コーディング規約は、例えば、ＣＥＲＴの標準セキュアコーディング規約などである。

検出部４０２は、ソースコードに記述されたサイズ演算子の出力結果が、ソースコードにおいて未参照であることを検出する。サイズ演算子は、例えば、ソースコードに記述された変数のサイズを出力する演算子である。検出部４０２は、例えば、ソースコードに記述されたサイズ演算子の出力結果が、ソースコードにおいて未参照であることを検出することにより、規約違反となるサイズ演算子を検出する。これにより、検出部４０２は、規約違反となる箇所を検出し、ソースコードを修正することが望まれると判断することができる。

検出部４０２は、ソースコードにおける、多重の領域解放命令を検出する。検出部４０２は、例えば、記憶した情報に基づいて、ソースコードにおける、領域解放命令の引数として、領域解放命令が解放する領域を表す変数を特定する。そして、検出部４０２は、例えば、解放する領域を表す同一の変数を引数とする、規約違反となる多重の領域解放命令を検出する。これにより、検出部４０２は、規約違反となる箇所を検出し、ソースコードを修正することが望まれると判断することができる。

検出部４０２は、ソースコードにおける、未解放の変数を検出する。検出部４０２は、例えば、記憶した情報に基づいて、記憶した情報に基づいて、ソースコードにおける、領域解放命令の引数として、領域解放命令が解放する領域を表す変数を特定する。そして、検出部４０２は、領域解放命令により解放されていない未解放の変数を検出する。検出部４０２は、具体的には、多重の領域解放命令を含む、ソースコードに記述された関数の中で、領域解放命令により解放されていない未解放の変数を検出する。これにより、検出部４０２は、規約違反を解消するようソースコードを修正するにあたり参考となる情報を取得することができる。

特定部４０３は、ソースコードの文脈を考慮して、規約違反となる箇所を削除するのではなく、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを特定し、対処案を特定する。

特定部４０３は、サイズ演算子の出力結果が未参照であることを検出した場合、記憶した情報に基づいて、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。特定部４０３は、例えば、記憶した情報に基づいて、サイズ演算子を含む、ソースコードに記述された関数の中で、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。

特定部４０３は、具体的には、記憶した情報に基づいて、サイズ演算子を含む、ソースコードに記述された関数の中に存在する、それぞれの関数の引数となる、格納先を表す変数と当該変数のサイズを表す変数とを特定する。そして、特定部４０３は、具体的には、サイズ演算子の引数となる変数と同一の、格納先を表す変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。これにより、特定部４０３は、規約違反を解消するようソースコードを修正するにあたり参考となる情報を取得することができる。

特定部４０３は、例えば、サイズ演算子を含む、ソースコードに記述された関数の中で、サイズ演算子が記述された箇所以降に存在し、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。

特定部４０３は、具体的には、記憶した情報に基づいて、サイズ演算子を含む、ソースコードに記述された関数の中で、サイズ演算子が記述された箇所以降に存在する、それぞれの関数の引数となる、格納先を表す変数と当該変数のサイズを表す変数とを特定する。そして、特定部４０３は、具体的には、サイズ演算子の引数となる変数と同一の、格納先を表す変数と、当該変数のサイズを表す変数とを引数とする関数を特定する。これにより、特定部４０３は、規約違反を解消するようソースコードを修正するにあたり参考となる情報を取得することができる。また、特定部４０３は、関数を検索する範囲を狭め、処理量の低減化を図ることができる。

特定部４０３は、例えば、サイズ演算子を含む、ソースコードに記述された関数の中で、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す、参照先が存在しない変数とを引数とする関数を特定する。

特定部４０３は、具体的には、記憶した情報に基づいて、サイズ演算子を含む、ソースコードに記述された関数の中で、それぞれの関数の引数となる、格納先を表す変数と当該変数のサイズを表す変数とを特定する。そして、特定部４０３は、具体的には、サイズ演算子の引数となる変数と同一の、格納先を表す変数と、当該変数のサイズを表す、参照先が存在しない変数とを引数とする関数を特定する。これにより、特定部４０３は、規約違反を解消するようソースコードを修正するにあたり参考となる情報を取得することができる。

特定部４０３は、例えば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコードを修正する内容を、対処案として特定する。これにより、特定部４０３は、開発者の意図に合わせて、ソースコードをどのように修正することが好ましいのかを、特定することができる。

特定部４０３は、例えば、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定しなかった場合、サイズ演算子を削除するよう、ソースコードを修正する内容を、対処案として特定する。これにより、特定部４０３は、開発者の意図に合わせて、ソースコードをどのように修正することが好ましいのかを、特定することができる。

特定部４０３は、例えば、多重の領域解放命令を検出し、かつ、多重の領域解放命令を含む、ソースコードに記述された関数の中で、未解放の変数を検出したか否かを判定する。そして、特定部４０３は、例えば、多重の領域解放命令を検出し、かつ、未解放の変数を検出した場合、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコードを修正する内容を、対処案として特定する。これにより、特定部４０３は、開発者の意図に合わせて、ソースコードをどのように修正することが好ましいのかを、特定することができる。

特定部４０３は、例えば、多重の領域解放命令を検出し、かつ、多重の領域解放命令を含む、ソースコードに記述された関数の中で、未解放の変数を検出したか否かを判定する。そして、特定部４０３は、例えば、多重の領域解放命令を検出し、かつ、未解放の変数を検出しなかった場合、多重の領域解放命令のいずれかの領域解放命令を削除するよう、ソースコードを修正する内容を、対処案として特定する。これにより、特定部４０３は、開発者の意図に合わせて、ソースコードをどのように修正することが好ましいのかを、特定することができる。

修正部４０４は、特定した対処案に基づいて、ソースコードを修正する。修正部４０４は、例えば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコードを修正する。これにより、修正部４０４は、開発者が、ソースコードを手作業で修正せずに済ませることができ、ソースコードを修正する際に開発者にかかる作業負担の低減化を図ることができる。

修正部４０４は、例えば、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコードを修正する。これにより、修正部４０４は、開発者が、ソースコードを手作業で修正せずに済ませることができ、ソースコードを修正する際に開発者にかかる作業負担の低減化を図ることができる。

出力部４０５は、いずれかの機能部の処理結果を出力する。出力形式は、例えば、ディスプレイへの表示、プリンタへの印刷出力、ネットワークＩ／Ｆ３０３による外部装置への送信、または、メモリ３０２や記録媒体３０５などの記憶領域への記憶である。これにより、出力部４０５は、いずれかの機能部の処理結果を利用者に通知可能にし、修正支援装置１００の利便性の向上を図ることができる。利用者は、例えば、ソースコードを修正する開発者である。

出力部４０５は、特定した対処案を出力する。出力部４０５は、例えば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコードを修正する内容を、対処案として出力する。出力部４０５は、例えば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコードを修正する内容を、対処案として表示する。これにより、出力部４０５は、対処案を、開発者が参照可能に出力することができ、ソースコードを修正する際に開発者にかかる作業負担の低減化を図ることができる。

出力部４０５は、例えば、サイズ演算子を削除するよう、ソースコードを修正する内容を、対処案として出力する。これにより、出力部４０５は、対処案を、開発者が参照可能に出力することができ、ソースコードを修正する際に開発者にかかる作業負担の低減化を図ることができる。

出力部４０５は、例えば、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコードを修正する内容を、対処案として出力する。これにより、出力部４０５は、対処案を、開発者が参照可能に出力することができ、ソースコードを修正する際に開発者にかかる作業負担の低減化を図ることができる。

出力部４０５は、多重の領域解放命令のいずれかの領域解放命令を削除するよう、ソースコードを修正する内容を、対処案として出力する。これにより、出力部４０５は、対処案を、開発者が参照可能に出力することができ、ソースコードを修正する際に開発者にかかる作業負担の低減化を図ることができる。

（修正支援装置１００の動作例１）
次に、図５〜図１０を用いて、修正支援装置１００の動作例１について説明する。

図５〜図１０は、修正支援装置１００の動作例１を示す説明図である。図５において、（１）修正支援装置１００は、開発者の操作入力に基づき、関数一覧テンプレート５００を取得する。

関数一覧テンプレート５００は、例えば、図３に示した修正支援装置１００のメモリ３０２や記録媒体３０５などの記憶領域により実現される。関数一覧テンプレート５００は、関数名と、格納先変数の引数順番と、サイズ変数の引数順番とのフィールドを有する。関数一覧テンプレート５００は、関数ごとに各フィールドに情報を設定することにより、関数情報が記憶される。

関数名のフィールドには、関数を識別する関数名が設定される。格納先変数の引数順番のフィールドには、関数の引数のうち、格納先を表す格納先変数に対応する引数が、先頭から何番目に規定された引数であるのかを示す番号が設定される。サイズ変数の引数順番のフィールドには、関数の引数のうち、サイズを表すサイズ変数に対応する引数が、先頭から何番目に規定された引数であるのかを示す番号が設定される。次に、図６の説明に移行する。

図６において、（２）修正支援装置１００は、開発者の操作入力に基づき、ソースコードを取得する。修正支援装置１００は、取得したソースコードのうち、代入先が存在せず、出力結果が未参照であるｓｉｚｅｏｆ演算子を検出する。代入先が存在しないとは、例えば、ソースコードにおいて、変数名ｘ＝ｓｉｚｅｏｆ（・）；のような記述が存在せず、何らかの変数にｓｉｚｅｏｆ演算子の出力結果を代入する代入式が記述されていないことである。＝は、代入演算子である。

図６の例では、修正支援装置１００は、代入先が存在せず、出力結果が未参照であるｓｉｚｅｏｆ（ｓｔｒ）；を検出する。修正支援装置１００は、検出したｓｉｚｅｏｆ（ｓｔｒ）；の引数となる変数の変数名ｓｔｒを特定する。これにより、修正支援装置１００は、規約違反となる箇所を検出することができる。次に、図７の説明に移行する。

図７において、（３）修正支援装置１００は、関数一覧テンプレート５００に基づいて、ソースコードに記述された、それぞれの関数呼び出し文において引数として指定された、格納先変数の変数名を特定する。そして、修正支援装置１００は、引数として指定された格納先変数の変数名が、検出したｓｉｚｅｏｆ（ｓｔｒ）；の引数となる変数の変数名ｓｔｒと一致する関数呼び出し文を検索する。

図７の例では、修正支援装置１００は、関数呼び出し文ｍｅｍｓｅｔ（ｓｔｒ，０，ｓｚ）；を検索する。これにより、修正支援装置１００は、開発者の意図を考慮し、ソースコードをどのように修正すればよいかを特定する手がかりとなる情報を得ることができる。

ここで、修正支援装置１００は、例えば、引数として指定された格納先変数の変数名が、ｓｉｚｅｏｆ（ｓｔｒ）；の引数となる変数の変数名ｓｔｒと一致しない関数呼び出し文ｍｅｍｓｅｔ（ｓｔｒ２，０，ｓｚ）；などを検索しなくてもよい。

また、修正支援装置１００は、例えば、関数一覧テンプレート５００に登録されていない関数名の関数を呼び出す関数呼び出し文ｘｘｆｕｎｃ（ｓｔｒ，ｓｚ）；などを検索しなくてもよい。修正支援装置１００は、例えば、引数として指定された変数の変数名が、ｓｉｚｅｏｆ（ｓｔｒ）；の引数となる変数の変数名ｓｔｒと一致しても、関数呼び出し文ｘｘｆｕｎｃ（ｓｔｒ，ｓｚ）；などを検索しなくてもよい。次に、図８の説明に移行する。

図８において、（４）修正支援装置１００は、関数一覧テンプレート５００に基づいて、検索した関数呼び出し文ｍｅｍｓｅｔ（ｓｔｒ，０，ｓｚ）；において、引数として指定されたサイズ変数の変数名ｓｚを特定する。これにより、修正支援装置１００は、検出したｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を参照する変数の候補となる、変数の変数名を特定することができる。そして、修正支援装置１００は、開発者の意図を考慮し、ソースコードをどのように修正すればよいかを特定する手がかりとなる情報を得ることができる。次に、図９の説明に移行する。

図９において、（５）修正支援装置１００は、ソースコードにおいて、特定したサイズ変数ｓｚに対する格納処理があるか否かを判定する。ここで、格納処理がなく、サイズ変数ｓｚの参照先がない場合、ソースコードにおいて、未参照のｓｉｚｅｏｆ（ｓｔｒ）；と、参照先がないサイズ変数ｓｚとが共に存在することになる。この場合、サイズ変数ｓｚに、検出したｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を参照させるという開発者の意図があったと考えられる。このため、サイズ変数ｓｚが、検出したｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を参照するよう、ソースコードを修正することが好ましいと考えられる。

一方で、格納処理があり、サイズ変数ｓｚの参照先がある場合、サイズ変数ｓｚは、検出したｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を参照しなくてよいと考えられる。この場合、サイズ変数ｓｚに、検出したｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を参照させるという開発者の意図がないと考えられる。また、検出したｓｉｚｅｏｆ（ｓｔｒ）；は、削除してもよい確率が高いと考えられる。

（５．１）修正支援装置１００は、ソースコードの内容が、文面９０１のようであれば、特定したサイズ変数ｓｚに対する格納処理がないと判定する。このため、修正支援装置１００は、検出したｓｉｚｅｏｆ（ｓｔｒ）；を削除しない方がよいと判定する。

（５．２）修正支援装置１００は、ソースコードの内容が、文面９０２のようであり、ｓｚ＝ｓｔｒｌｅｎ（ｓｔｒ）；が記述されていれば、特定したサイズ変数ｓｚに対する格納処理があると判定する。このため、修正支援装置１００は、検出したｓｉｚｅｏｆ（ｓｔｒ）；を削除してもよいと判定する。

（５．３）修正支援装置１００は、ソースコードの内容が、文面９０３のようであり、サイズ変数ｓｚ以外に、サイズ変数ｓｚ２を特定した場合、同様に、特定したサイズ変数ｓｚ２に対する格納処理があるか否かを判定する。ここでは、修正支援装置１００は、特定したサイズ変数ｓｚ２に対する格納処理があると判定する。このため、修正支援装置１００は、検出したｓｉｚｅｏｆ（ｓｔｒ）；を削除してもよいと判定する。

（５．４）修正支援装置１００は、ソースコードの内容が、文面９０４のようであり、検出したｓｉｚｅｏｆ（ｓｔｒ）；以前に、ｓｚ＝ｓｔｒｌｅｎ（ｓｔｒ）；が記述されていれば、特定したサイズ変数ｓｚに対する格納処理があると判定する。このため、修正支援装置１００は、検出したｓｉｚｅｏｆ（ｓｔｒ）；を削除してもよいと判定する。次に、図１０の説明に移行する。

図１０において、（６）修正支援装置１００は、特定したサイズ変数ｓｚに対する格納処理があるか否かを判定した結果に基づいて、対処案を生成する。（６．１）修正支援装置１００は、特定したサイズ変数ｓｚに対する格納処理がないと判定した場合、特定したサイズ変数ｓｚに、ｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を代入する代入式を、ソースコードに書き込む対処案１００１を生成して出力する。

これにより、修正支援装置１００は、ソースコードの文脈を考慮して、規約違反となるｓｉｚｅｏｆ（ｓｔｒ）；を削除するのではなく、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを示す対処案１００１を生成することができる。修正支援装置１００は、生成した対処案１００１を出力することができる。このため、修正支援装置１００は、開発者が、対処案１００１に基づき、ソースコードを修正し易くすることができ、開発者にかかる作業負担の低減化を図ることができる。

（６．２）修正支援装置１００は、特定したサイズ変数ｓｚに対する格納処理があると判定した場合、ｓｉｚｅｏｆ（ｓｔｒ）；を削除する対処案１００２を生成して出力する。これにより、修正支援装置１００は、ソースコードの文脈を考慮して、対処案１００１より、規約違反となるｓｉｚｅｏｆ（ｓｔｒ）；を削除する対処案１００２の方が好ましい場合、対処案１００２を生成して出力することができる。このため、修正支援装置１００は、開発者が、誤って、サイズ変数ｓｚに、ｓｉｚｅｏｆ（ｓｔｒ）；の出力結果を代入する代入式を、ソースコードに書き込んでしまうことを回避することができる。また、修正支援装置１００は、開発者が、対処案１００２に基づき、ソースコードを修正し易くすることができ、開発者にかかる作業負担の低減化を図ることができる。

（動作例１における全体処理手順）
次に、図１１を用いて、修正支援装置１００が実行する、動作例１における全体処理手順の一例について説明する。全体処理は、例えば、図３に示したＣＰＵ３０１と、メモリ３０２や記録媒体３０５などの記憶領域と、ネットワークＩ／Ｆ３０３とによって実現される。

図１１は、動作例１における全体処理手順の一例を示すフローチャートである。図１１において、修正支援装置１００は、関数一覧テンプレートを取得する（ステップＳ１１０１）。

次に、修正支援装置１００は、ソースコードのうち、代入先が存在しないｓｉｚｅｏｆ演算子を検出する（ステップＳ１１０２）。そして、修正支援装置１００は、関数一覧テンプレートに基づいて、検出したｓｉｚｅｏｆ演算子に記述された変数名を、格納先変数の変数名として記述している関数呼び出し文を検索する（ステップＳ１１０３）。

次に、修正支援装置１００は、検索した関数に記述されたサイズ変数を特定する（ステップＳ１１０４）。そして、修正支援装置１００は、特定したサイズ変数の参照先が存在するか否かを判定する（ステップＳ１１０５）。

ここで、参照先が存在する場合（ステップＳ１１０５：Ｙｅｓ）、修正支援装置１００は、ステップＳ１１０６の処理に移行する。一方で、参照先が存在しない場合（ステップＳ１１０５：Ｎｏ）、修正支援装置１００は、ステップＳ１１０７の処理に移行する。

ステップＳ１１０６では、修正支援装置１００は、ソースコードにおいて、特定したサイズ変数の参照先を、ｓｉｚｅｏｆ演算子の出力結果とする対処案を、利用者が参照可能に出力する（ステップＳ１１０６）。利用者は、例えば、ソースコードを修正する開発者である。そして、修正支援装置１００は、全体処理を終了する。

ステップＳ１１０７では、修正支援装置１００は、ソースコードにおいて、ｓｉｚｅｏｆ演算子を削除する対処案を、利用者が参照可能に出力する（ステップＳ１１０７）。そして、修正支援装置１００は、全体処理を終了する。これにより、修正支援装置１００は、ソースコードをどのように修正すればよいかを示す対処案を、利用者に参照させ、ソースコードを修正し易くすることができる。

（修正支援装置１００の動作例２）
次に、図１２〜図１５を用いて、修正支援装置１００の動作例２について説明する。

図１２〜図１５は、修正支援装置１００の動作例２を示す説明図である。図１２において、（１）修正支援装置１００は、開発者の操作入力に基づき、関数一覧テンプレート１２００を取得する。

関数一覧テンプレート１２００は、例えば、図３に示した修正支援装置１００のメモリ３０２や記録媒体３０５などの記憶領域により実現される。関数一覧テンプレート１２００は、関数名と、解放先変数の引数順番とのフィールドを有する。関数一覧テンプレート１２００は、関数ごとに各フィールドに情報を設定することにより、関数情報が記憶される。

関数名のフィールドには、関数を識別する関数名が設定される。解放先変数の引数順番のフィールドには、関数の引数のうち、解放する記憶領域を表す解放先変数に対応する引数が、先頭から何番目に規定された引数であるのかを示す番号が設定される。次に、図１３の説明に移行する。

図１３において、（２）修正支援装置１００は、開発者の操作入力に基づき、ソースコードを取得する。修正支援装置１００は、関数一覧テンプレート１２００に基づいて、取得したソースコードにおいて、それぞれの領域解放命令の引数となり、解放する領域を表す解放先変数の変数名を特定する。修正支援装置１００は、特定した変数名に基づいて、取得したソースコードにおいて、多重解放される変数の変数名を検出する。

（２．１）修正支援装置１００は、ソースコードの内容が、文面１３０１のようであれば、複数のｆｒｅｅ命令の引数となる解放先変数の変数名ｐ１を検出する。（２．２）修正支援装置１００は、ソースコードの内容が、文面１３０２のようであれば、複数のｆｒｅｅ命令の引数となる解放先変数の変数名ｐ１を検出する。

（３）修正支援装置１００は、特定した変数名に基づいて、取得したソースコードにおいて、未解放の変数の変数名を検出する。（３．１）修正支援装置１００は、ソースコードの内容が、文面１３０１のようであれば、一旦確保された後、いずれのｆｒｅｅ命令の引数ともならず、解放されなかった未解放の変数の変数名ｐ２を検出する。

（３．２）修正支援装置１００は、ソースコードの内容が、文面１３０２のようであれば、未解放の変数の変数名を検出せず、未解放の変数がないと判定する。これにより、修正支援装置１００は、規約違反となる箇所を検出することができる。

また、修正支援装置１００は、開発者の意図を考慮し、ソースコードをどのように修正すればよいかを特定する手がかりとなる情報を得ることができる。修正支援装置１００は、例えば、多重のｆｒｅｅ命令のいずれかのｆｒｅｅ命令で解放する領域の候補として、未解放の変数の変数名を検出することができ、ソースコードをどのように修正すればよいかを特定する手がかりとなる情報を得ることができる。次に、図１４の説明に移行する。

図１４において、（４）修正支援装置１００は、同一の関数において、多重解放される変数と、未解放の変数とが共に存在するか否かを判定する。ここで、同一の関数において、多重解放される変数と、未解放の変数とが共に存在する場合、多重のｆｒｅｅ命令のいずれかのｆｒｅｅ命令を、本来、未解放の変数を解放させるｆｒｅｅ命令として規定したかったという開発者の意図があると考えられる。

一方で、同一の関数において、多重解放される変数が存在するものの、未解放の変数が存在しない場合、多重のｆｒｅｅ命令のそれぞれのｆｒｅｅ命令を、本来、他の変数を解放させるｆｒｅｅ命令として規定したいという開発者の意図はないと考えられる。

（４．１）修正支援装置１００は、ソースコードの内容が、文面１３０１のようである場合、同一の関数において、多重解放される変数名ｐ１の変数と、未解放の変数名ｐ２の変数とが共に存在すると判定する。（４．２）修正支援装置１００は、ソースコードの内容が、文面１３０２のようである場合、未解放の変数の変数名を検出していないため、同一の関数において、多重解放される変数と、未解放の変数とが共に存在しないと判定する。次に、図１５の説明に移行する。

図１５において、（５）修正支援装置１００は、同一の関数において、多重解放される変数と、未解放の変数とが共に存在するか否かを判定した結果に基づいて、対処案を生成する。（５．１）修正支援装置１００が、多重解放される変数名ｐ１の変数と、未解放の変数名ｐ２の変数とが共に存在すると判定したとする。この場合、修正支援装置１００は、変数ｐ１を多重解放する複数のｆｒｅｅ命令のいずれかのｆｒｅｅ命令が、未解放の変数ｐ２を解放するよう、ソースコードを修正する対処案１５０１を生成して出力する。

これにより、修正支援装置１００は、ソースコードの文脈を考慮して、規約違反となるｆｒｅｅ命令を削除するのではなく、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを示す対処案１５０１を生成して出力することができる。このため、修正支援装置１００は、開発者が、対処案１５０１に基づき、ソースコードを修正し易くすることができ、開発者にかかる作業負担の低減化を図ることができる。

（５．２）修正支援装置１００が、同一の関数において、多重解放される変数と、未解放の変数とが共に存在しないと判定したとする。この場合、修正支援装置１００は、変数ｐ１を多重解放する複数のｆｒｅｅ命令のいずれかのｆｒｅｅ命令を削除するよう、ソースコードを修正する対処案１５０２を生成して出力する。

これにより、修正支援装置１００は、ソースコードの文脈を考慮して、対処案１５０１より、規約違反となるｆｒｅｅ命令を削除する対処案１５０２の方が好ましい場合、規約違反となるｆｒｅｅ命令を削除する対処案１５０２を生成して出力することができる。このため、修正支援装置１００は、開発者が、誤って、多重のｆｒｅｅ命令のいずれかのｆｒｅｅ命令で、他の変数を解放するよう、ソースコードを変更してしまうことを回避することができる。また、修正支援装置１００は、開発者が、対処案１５０２に基づき、ソースコードを修正し易くすることができ、開発者にかかる作業負担の低減化を図ることができる。

（動作例２における全体処理手順）
次に、図１６を用いて、修正支援装置１００が実行する、動作例２における全体処理手順の一例について説明する。全体処理は、例えば、図３に示したＣＰＵ３０１と、メモリ３０２や記録媒体３０５などの記憶領域と、ネットワークＩ／Ｆ３０３とによって実現される。

図１６は、動作例２における全体処理手順の一例を示すフローチャートである。図１６において、修正支援装置１００は、関数一覧テンプレートを取得する（ステップＳ１６０１）。

次に、修正支援装置１００は、関数一覧テンプレートに基づいて、ソースコードのうち、多重解放された変数を検出する（ステップＳ１６０２）。そして、修正支援装置１００は、関数一覧テンプレートに基づいて、ソースコードのうち、未解放の変数を検出する（ステップＳ１６０３）。

次に、修正支援装置１００は、ソースコードのうち、同一の関数において、多重解放される変数と、未解放の変数とが共に存在するか否かを判定する（ステップＳ１６０４）。

ここで、同一の関数において、多重解放される変数と、未解放の変数とが共に存在する場合（ステップＳ１６０４：Ｙｅｓ）、修正支援装置１００は、ステップＳ１６０５の処理に移行する。一方で、同一の関数において、多重解放される変数と、未解放の変数とが共に存在しない場合（ステップＳ１６０４：Ｎｏ）、修正支援装置１００は、ステップＳ１６０６の処理に移行する。

ステップＳ１６０５では、修正支援装置１００は、ソースコードにおいて、多重解放された変数を解放するいずれかの解放命令を、未解放の変数を解放する新たな解放命令に変更する対処案を、利用者が参照可能に出力する（ステップＳ１６０５）。利用者は、例えば、ソースコードを修正する開発者である。そして、修正支援装置１００は、全体処理を終了する。

ステップＳ１６０６では、修正支援装置１００は、ソースコードにおいて、多重解放された変数を解放するいずれかの解放命令を削除する対処案を、利用者が参照可能に出力する（ステップＳ１６０６）。そして、修正支援装置１００は、全体処理を終了する。これにより、修正支援装置１００は、ソースコードをどのように修正すればよいかを示す対処案を、利用者に参照させ、ソースコードを修正し易くすることができる。

（修正支援装置１００による効果）
次に、図１７を用いて、動作例１および動作例２における修正支援装置１００による効果について説明する。

図１７は、修正支援装置１００による効果を示す説明図である。図１７において、表１７００は、規約違反の例と、ソースコードの一例と、従来の対処案と、ソースコードを作成した開発者の意図とを表す。

表１７００に示すように、未参照であり、機能的に意味を有さない記述が、規約違反として規定されている。ここで、開発者が、ソースコード１７０１を作成したとする。ソースコード１７０１は、規約違反となる行を含む。従来の対処案は、規約違反となる行を削除することを提案してしまう。これに対し、開発者は、本来、規約違反の行を、次に実行する関数に渡す値を求める意図で記述している。

修正支援装置１００は、動作例１に示すように、規約違反となるｓｉｚｅｏｆ（ｓｔｒ）；を削除するのではなく、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを示す対処案を生成して出力することができる。このため、修正支援装置１００は、開発者が、対処案に基づき、本来の意図通りに、ソースコードを修正し易くすることができ、開発者にかかる作業負担の低減化を図ることができる。

また、表１７００に示すように、変数を多重解放する記述が、規約違反として規定されている。ここで、開発者が、ソースコード１７０２を作成したとする。ソースコード１７０２は、規約違反となる行を含む。従来の対処案は、規約違反となる行を削除することを提案してしまう。これに対し、開発者は、本来、規約違反の行を、別の変数を解放する意図で記述している。

修正支援装置１００は、動作例２に示すように、規約違反となるｆｒｅｅ命令を削除するのではなく、開発者の意図に合うよう、ソースコードをどのように修正すればよいのかを示す対処案を生成して出力することができる。このため、修正支援装置１００は、開発者が、対処案に基づき、本来の意図通りに、ソースコードを修正し易くすることができ、開発者にかかる作業負担の低減化を図ることができる。

以上説明したように、修正支援装置１００によれば、ソースコードに記述された変数のサイズを出力する、ソースコードに記述されたサイズ演算子の出力結果が、ソースコードにおいて未参照であることを検出することができる。修正支援装置１００によれば、関数ごとに、当該関数の引数となる変数を特定可能にする情報を記憶することができる。修正支援装置１００によれば、サイズ演算子の出力結果が未参照であることを検出した場合、記憶した情報に基づいて、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定することができる。修正支援装置１００によれば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコードを修正する内容を出力することができる。これにより、修正支援装置１００は、開発者の意図に合わせて、ソースコードを修正し易くすることができる。

修正支援装置１００によれば、サイズ演算子が記述された箇所以降に存在し、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定することができる。これにより、修正支援装置１００は、処理量の低減化を図ることができる。

修正支援装置１００によれば、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す、参照先が存在しない変数とを引数とする関数を特定することができる。これにより、修正支援装置１００は、開発者の意図をより考慮し易くすることができ、開発者の意図に合わせて、ソースコードを修正し易くすることができる。

修正支援装置１００によれば、関数ごとに、当該関数の引数となる、データの格納先を表す変数と、当該変数のサイズを表す変数とを特定可能にする情報を記憶することができる。これにより、修正支援装置１００は、関数を特定し易くすることができる。

修正支援装置１００によれば、特定した関数の引数となるサイズを表す変数が、サイズ演算子の出力結果を参照するよう、ソースコードを修正することができる。これにより、修正支援装置１００は、開発者にかかる作業負担の低減化を図ることができる。

修正支援装置１００によれば、サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定しなかった場合、サイズ演算子を削除するよう、ソースコードを修正する内容を出力することができる。これにより、修正支援装置１００は、開発者の意図に合わせて、ソースコードを修正し易くすることができる。

修正支援装置１００によれば、ソースコードにおける、多重の領域解放命令を検出することができる。修正支援装置１００によれば、ソースコードにおける、未解放の変数を検出することができる。修正支援装置１００によれば、多重の領域解放命令を検出し、かつ、未解放の変数を検出した場合、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコードを修正する内容を出力することができる。これにより、修正支援装置１００は、開発者の意図に合わせて、ソースコードを修正し易くすることができる。

修正支援装置１００によれば、多重の領域解放命令を検出し、かつ、未解放の変数を検出した場合、多重の領域解放命令のいずれかの領域解放命令が、未解放の変数を解放するよう、ソースコードを修正することができる。これにより、修正支援装置１００は、開発者にかかる作業負担の低減化を図ることができる。

修正支援装置１００によれば、多重の領域解放命令を検出し、かつ、未解放の変数を検出しなかった場合、多重の領域解放命令のいずれかの領域解放命令を削除するよう、ソースコードを修正する内容を出力することができる。これにより、修正支援装置１００は、開発者の意図に合わせて、ソースコードを修正し易くすることができる。

なお、本実施の形態で説明した修正支援方法は、予め用意されたプログラムをＰＣやワークステーションなどのコンピュータで実行することにより実現することができる。本実施の形態で説明した修正支援プログラムは、コンピュータで読み取り可能な記録媒体に記録され、コンピュータによって記録媒体から読み出されることによって実行される。記録媒体は、ハードディスク、フレキシブルディスク、ＣＤ（Ｃｏｍｐａｃｔ Ｄｉｓｃ）−ＲＯＭ、ＭＯ（Ｍａｇｎｅｔｏ Ｏｐｔｉｃａｌ ｄｉｓｃ）、ＤＶＤ（Ｄｉｇｉｔａｌ Ｖｅｒｓａｔｉｌｅ Ｄｉｓｃ）などである。また、本実施の形態で説明した修正支援プログラムは、インターネットなどのネットワークを介して配布してもよい。

上述した実施の形態に関し、さらに以下の付記を開示する。

（付記１）ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、
前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、
特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する、
処理をコンピュータに実行させることを特徴とする修正支援プログラム。

（付記２）前記特定する処理は、
前記サイズ演算子の出力結果が未参照であることを検出した場合、前記情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子が記述された箇所以降に存在し、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する、ことを特徴とする付記１に記載の修正支援プログラム。

（付記３）前記特定する処理は、
前記サイズ演算子の出力結果が未参照であることを検出した場合、前記情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す、参照先が存在しない変数とを引数とする関数を特定する、ことを特徴とする付記１または２に記載の修正支援プログラム。

（付記４）前記情報は、関数ごとに、当該関数の引数となる、データの格納先を表す変数と、当該変数のサイズを表す変数とを特定可能にする情報である、ことを特徴とする付記１〜３のいずれか一つに記載の修正支援プログラム。

（付記５）特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する、
処理を前記コンピュータに実行させることを特徴とする付記１〜４のいずれか一つに記載の修正支援プログラム。

（付記６）前記出力する処理は、
前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定しなかった場合、前記サイズ演算子を削除するよう、前記ソースコードを修正する内容を出力する、ことを特徴とする付記１〜５のいずれか一つに記載の修正支援プログラム。

（付記７）ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、
前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、
特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する、
処理をコンピュータが実行することを特徴とする修正支援方法。

（付記８）ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、
前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、
特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する、
制御部を有することを特徴とする修正支援装置。

（付記９）ソースコードにおける、多重の領域解放命令を検出し、
ソースコードにおける、未解放の変数を検出し、
前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する、
処理をコンピュータに実行させることを特徴とする修正支援プログラム。

（付記１０）前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する、
処理を前記コンピュータに実行させることを特徴とする付記９に記載の修正支援プログラム。

（付記１１）前記出力する処理は、
前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出しなかった場合、前記多重の領域解放命令のいずれかの領域解放命令を削除するよう、前記ソースコードを修正する内容を出力する、ことを特徴とする付記９または１０に記載の修正支援プログラム。

（付記１２）ソースコードにおける、多重の領域解放命令を検出し、
ソースコードにおける、未解放の変数を検出し、
前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する、
処理をコンピュータが実行することを特徴とする修正支援方法。

（付記１３）ソースコードにおける、多重の領域解放命令を検出し、
ソースコードにおける、未解放の変数を検出し、
前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する、
制御部を有することを特徴とする修正支援装置。

１００ 修正支援装置
１１０，１７０１，１７０２ ソースコード
１１１ 箇所
１２０ 開発者
２００ 修正支援システム
２０１ クライアント装置
２１０ ネットワーク
３００ バス
３０１ ＣＰＵ
３０２ メモリ
３０３ ネットワークＩ／Ｆ
３０４ 記録媒体Ｉ／Ｆ
３０５ 記録媒体
４００ 記憶部
４０１ 取得部
４０２ 検出部
４０３ 特定部
４０４ 修正部
４０５ 出力部
５００，１２００ 関数一覧テンプレート
９０１，９０２，９０３，９０４，１３０１，１３０２ 文面
１００１，１００２，１５０１，１５０２ 対処案
１７００ 表

Claims (11)

1. ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、
   前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、
   特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する、
   処理をコンピュータに実行させることを特徴とする修正支援プログラム。
2. 前記特定する処理は、
   前記サイズ演算子の出力結果が未参照であることを検出した場合、前記情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子が記述された箇所以降に存在し、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定する、ことを特徴とする請求項１に記載の修正支援プログラム。
3. 前記特定する処理は、
   前記サイズ演算子の出力結果が未参照であることを検出した場合、前記情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す、参照先が存在しない変数とを引数とする関数を特定する、ことを特徴とする請求項１または２に記載の修正支援プログラム。
4. 前記情報は、関数ごとに、当該関数の引数となる、データの格納先を表す変数と、当該変数のサイズを表す変数とを特定可能にする情報である、ことを特徴とする請求項１〜３のいずれか一つに記載の修正支援プログラム。
5. 特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する、
   処理を前記コンピュータに実行させることを特徴とする請求項１〜４のいずれか一つに記載の修正支援プログラム。
6. ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、
   前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、
   特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する、
   処理をコンピュータが実行することを特徴とする修正支援方法。
7. ソースコードに記述された変数のサイズを出力する、前記ソースコードに記述されたサイズ演算子の出力結果が、前記ソースコードにおいて未参照であることを検出し、
   前記サイズ演算子の出力結果が未参照であることを検出した場合、関数ごとに、当該関数の引数となる変数を特定可能にする情報に基づいて、前記サイズ演算子を含む、前記ソースコードに記述された関数の中で、前記サイズ演算子の引数となる変数と同一の変数と、当該変数のサイズを表す変数とを引数とする関数を特定し、
   特定した前記関数の引数となるサイズを表す変数が、前記サイズ演算子の出力結果を参照するよう、前記ソースコードを修正する内容を出力する、
   制御部を有することを特徴とする修正支援装置。
8. ソースコードにおける、多重の領域解放命令を検出し、
   ソースコードにおける、未解放の変数を検出し、
   前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する、
   処理をコンピュータに実行させることを特徴とする修正支援プログラム。
9. 前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する、
   処理を前記コンピュータに実行させることを特徴とする請求項８に記載の修正支援プログラム。
10. ソースコードにおける、多重の領域解放命令を検出し、
    ソースコードにおける、未解放の変数を検出し、
    前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する、
    処理をコンピュータが実行することを特徴とする修正支援方法。
11. ソースコードにおける、多重の領域解放命令を検出し、
    ソースコードにおける、未解放の変数を検出し、
    前記多重の領域解放命令を検出し、かつ、前記多重の領域解放命令を含む、前記ソースコードに記述された関数の中で、前記未解放の変数を検出した場合、前記多重の領域解放命令のいずれかの領域解放命令が、前記未解放の変数を解放するよう、前記ソースコードを修正する内容を出力する、
    制御部を有することを特徴とする修正支援装置。

Images