特開 2024-13784 ソースコード修正支援装置およびソースコード修正支援方法

(19)【発行国】日本国特許庁(JP)

(12)【公報種別】公開特許公報(A)

(11)【公開番号】P2024013784

(43)【公開日】2024-02-01

(54)【発明の名称】ソースコード修正支援装置およびソースコード修正支援方法

(51)【国際特許分類】

   G06F 11/36 20060101AFI20240125BHJP

   G06F 8/30 20180101ALI20240125BHJP

   G06F 8/51 20180101ALI20240125BHJP

【ＦＩ】

G06F11/36 104

G06F8/30

G06F8/51

【審査請求】未請求

【請求項の数】7

【出願形態】ＯＬ

(21)【出願番号】P 2022116136

(22)【出願日】2022-07-21

(71)【出願人】

【識別番号】000005234

【氏名又は名称】富士電機株式会社

(74)【代理人】

【識別番号】110004185

【氏名又は名称】インフォート弁理士法人

(74)【代理人】

【識別番号】100121083

【弁理士】

【氏名又は名称】青木 宏義

(74)【代理人】

【識別番号】100138391

【弁理士】

【氏名又は名称】天田 昌行

(74)【代理人】

【識別番号】100132067

【弁理士】

【氏名又は名称】岡田 喜雅

(74)【代理人】

【識別番号】100131521

【弁理士】

【氏名又は名称】堀口 忍

(72)【発明者】

【氏名】菊田 祐司

【テーマコード（参考）】

5B042

5B081

5B376

【Ｆターム（参考）】

5B042GA02

5B042HH08

5B042HH39

5B042KK13

5B081AA00

5B376BC26

5B376BC38

5B376BC69

(57)【要約】

【課題】ある言語で記述されたソースコードの一部を他の言語の記述に置き替える作業の労力を軽減する。
【解決手段】ソースコード修正支援装置は、ルールリスト取得部、静的解析部、および判定部を備える。ルールリスト取得部は、ソースコードを記述する際に守らなければならない各ルールに優先度を付与することで作成されるルールリストを取得する。静的解析部は、第１の言語で記述されたソースコードにおいて、ルールリストに記載されているルールに違反する違反記述を検索すると共に、ルールリストに基づいて、各違反記述に対して、当該違反記述が違反したルールに付与されている優先度を対応づける。判定部は、静的解析部により検索された各違反記述について、対応づけられている優先度に基づいて対処方針を判定する。
【選択図】図１

【特許請求の範囲】

【請求項1】

ソースコードを記述する際に守らなければならない各ルールに優先度を付与することで作成されるルールリストを取得するルールリスト取得部と、
第１の言語で記述されたソースコードにおいて、前記ルールリストに記載されているルールに違反する違反記述を検索すると共に、前記ルールリストに基づいて、各違反記述に対して、当該違反記述が違反したルールに付与されている優先度を対応づける静的解析部と、
前記静的解析部により検索された各違反記述について、対応づけられている優先度に基づいて対処方針を判定する判定部と、
を備えるソースコード修正支援装置。

【請求項2】

前記判定部は、前記静的解析部により検索された各違反記述について、対応づけられている優先度に基づいて、前記第１の言語よりも信頼性の高い第２の言語に置き換えるべきか否かを判定する
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項3】

前記判定部は、最も高い優先度が対応づけられている違反記述への対処方針として、前記第１の言語よりも信頼性の高い第２の言語に置き換えることを指示する情報を出力する
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項4】

前記優先度は、当該優先度が付与されるルールに違反する違反記述に起因して生じるセキュリティ上のリスクの深刻度を表す
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項5】

前記優先度は、当該優先度が付与されるルールに違反する違反記述を、前記第１の言語よりも信頼性の高い第２の言語に置き換える必要性の程度を表す
ことを特徴とする請求項１に記載のソースコード修正支援装置。

【請求項6】

ソースコードを記述する際に守らなければならない各ルールに優先度を付与することで作成されるルールリストを取得するルールリスト取得部と、
第１の言語で記述されたソースコードにおいて、前記ルールリストに記載されているルールに違反する違反記述を検索すると共に、前記ルールリストに基づいて、各違反記述に対して、当該違反記述が違反したルールに付与されている優先度を対応づける静的解析部と、
前記静的解析部により検索された各違反記述について、対応づけられている優先度に基づいて、前記第１の言語よりも信頼性の高い第２の言語に置き換えるべきか否かを判定する判定部と、
前記判定部により前記第２の言語に置き換えるべきと判定された違反記述を、前記第２の言語の記述に変換する変換部と、
を備えるソースコード修正システム。

【請求項7】

ソースコードを記述する際に守らなければならない各ルールに優先度を付与することで作成されるルールリストを取得し、
第１の言語で記述されたソースコードにおいて、前記ルールリストに記載されているルールに違反する違反記述を検索すると共に、前記ルールリストに基づいて、各違反記述に対して、当該違反記述が違反したルールに付与されている優先度を対応づけ、
各違反記述について、対応づけられている優先度に基づいて対処方針を判定する
ことを特徴とするソースコード修正支援方法。

【発明の詳細な説明】

【技術分野】

【0001】

本発明は、ソースコード内の記述を他の言語の記述に置き替える作業を支援する装置および方法に係わる。

【背景技術】

【0002】

ネットワークに接続する機会が増加したことに伴い、悪意ある第三者によりソフトウェアの脆弱性が狙われて不具合が発生するケースも増加してきている。このため、開発段階で、所定のセキュアコーディングルールに基づいてソースコードを解析することで、ソフトウェアの脆弱性を発見する作業が行われている。これにより、ソフトウェアの安全性が担保される。例えば、車載機器、産業機器、医療機器などの分野では、ＣＥＲＴ（Computer Emergency Response Team）、ＭＩＳＲＡ（The Motor Industry Software Reliability Association）、ＡＵＴＯＳＡＲ（Automotive Open System Architecture）などのセキュアコーディングルールが使用されている。

【0003】

加えて、ソフトウェアの脆弱性を小さくするプログラミング言語が普及してきている。例えば、Ｒｕｓｔは、メモリの安全性を保証する言語であり、Ｃ言語またはＣ＋＋に代わる言語の１つとして注目されている。

【0004】

なお、ソースプログラムの実行処理順序の誤りを指摘するソースプログラム解析装置が提案されている（例えば、特許文献１）。また、あるプログラミング言語で記述されたソースコードを別のプログラミング言語によるソースコードに変換するソースコード変換装置が提案されている（例えば、特許文献２）。さらに、プログラムの修正またはデバッグを支援する装置が提案されている（例えば、特許文献３～４）。

【先行技術文献】

【特許文献】

【0005】

【特許文献1】特開２００６－２３６０４２号公報

【特許文献2】特開２０１０－１４０４０８号公報

【特許文献3】特開２０２１－１９２２０１号公報

【特許文献4】特開２００９－１０４２５２号公報

【発明の概要】

【発明が解決しようとする課題】

【0006】

上述したように、Ｒｕｓｔ等の信頼性の高いプログラミング言語が普及してきている。他方、プログラム開発に要するコストおよび時間を抑制するために、可能な限り既存のソフトウェア製品を使い続けたいという要求がある。このため、既存のソフトウェアの脆弱性に対処するために、静的解析装置を利用して脆弱性を含む箇所を特定し、特定した箇所のみを信頼性の高い言語の記述で書き換えることがある。

【0007】

ただし、大規模なプログラムにおいては、脆弱性を含む箇所の個数も多くなる。このため、脆弱性を含む箇所すべてを信頼性の高い言語の記述で書き換える場合、作業時間が長くなってしまう。

【0008】

本発明の１つの側面に係わる目的は、ある言語で記述されたソースコードの一部を他の言語の記述に置き替える作業の労力を軽減することである。

【課題を解決するための手段】

【0009】

本発明の１つの態様のソースコード修正支援装置は、ソースコードを記述する際に守らなければならない各ルールに優先度を付与することで作成されるルールリストを取得するルールリスト取得部と、第１の言語で記述されたソースコードにおいて、前記ルールリストに記載されているルールに違反する違反記述を検索すると共に、前記ルールリストに基づいて、各違反記述に対して、当該違反記述が違反したルールに付与されている優先度を対応づける静的解析部と、前記静的解析部により検索された各違反記述について、対応づけられている優先度に基づいて対処方針を判定する判定部と、を備える。

【発明の効果】

【0010】

上述の態様によれば、ある言語で記述されたソースコードの一部を他の言語の記述に置き替える作業の労力を軽減できる。

【図面の簡単な説明】

【0011】

【図1】本発明の実施形態に係わるソースコード修正支援装置の一例を示す図である。

【図2】セキュアコーディングルールの一例を示す図である。

【図3】ルールリスト作成部の処理の一例を示すフローチャートである。

【図4】優先度リストおよびセキュリティルールリストの一例を示す図である。

【図5】静的解析部の処理の一例を示すフローチャートである。

【図6】静的解析部の検索結果を表す検索結果リストの一例を示す図である。

【図7】判定部の処理の一例を示すフローチャートである。

【図8】他言語置換えリストおよび他処理リストの一例を示す図である。

【図9】判定部の処理のバリエーションを示すフローチャートである。

【図10】ソースコード修正装置および試験装置による処理の一例を示すフローチャートである。

【図11】ソースコード修正支援装置のハードウェア構成の一例を示す図である。

【発明を実施するための形態】

【0012】

図１は、本発明の実施形態に係わるソースコード修正支援装置の一例を示す。本発明の実施形態に係わるソースコード修正支援装置１は、セキュアコーディングルール３に基づいてソースコード２の中から違反記述を検索し、各違反記述に対して対処方針を表す情報を出力する。

【0013】

ソースコード２は、所定のプログラミング言語で記述された、コンパイル前のプログラムコードである。特に限定されるものではないが、この実施例では、ソースコード２は、Ｃ言語またはＣ＋＋で記述されているものとする。また、ソースコード２は、既存のソフトウェア製品として使用されているプログラムコードであってもよい。

【0014】

セキュアコーディングルール３は、ソースコードを記述する際に守らなければならないルールがリスト化された情報であり、ソースコード修正支援装置１がソースコード２を解析する際に使用される。この実施例では、ソースコード修正支援装置１は、セキュアコーディングルール３として既存のコーディングルールを使用する。例えば、セキュアコーディングルール３として、ＣＥＲＴ、ＭＩＳＲＡ、またはＡＵＴＯＳＡＲが使用される。一例として、Ｃ／Ｃ＋＋で記述されたコードの解析において使用されるＣＥＲＴ－Ｃ／Ｃ＋＋コーディングスタンダード規約の一部を図２に示す。

【0015】

ソースコード修正支援装置１は、図１に示すように、ルールリスト作成部１１、ルールリスト取得部１２、静的解析部１３、および判定部１４を備える。なお、ソースコード修正支援装置１は、図１に示していない他の機能またはデバイスを備えてもよい。

【0016】

ルールリスト作成部１１には、セキュアコーディングルール３が与えられる。ここで、セキュアコーディングルール３は、上述したように、ソースコードを記述する際に守らなければならない１または複数のルールを表す。そして、ルールリスト作成部１１は、セキュアコーディングルール３としてリスト化されている各ルールに優先度を付与することでセキュリティルールリストを作成する。なお、ルールリスト作成部１１は、例えば、ソースコード２を修正する作業者がコンピュータを操作することで実現される。

【0017】

図３は、ルールリスト作成部１１の処理の一例を示すフローチャートである。このフローチャートの処理は、例えば、ソースコード修正支援装置１にソースコード２が与えられたときに実行される。ただし、ルールリスト作成部１１は、ソースコード修正支援装置１にソースコード２が与えられる前に図３に示すフローチャートの処理を実行してもよい。

【0018】

Ｓ１において、ルールリスト作成部１１は、ソースコード２を修正する際の対処方針に係わる優先度リストを作成する。優先度リスト２１は、図４（ａ）に示すように、セキュアコーディングルール３として用意されている各ルールに付与する優先度の定義を表す。優先度は、例えば、当該ルールに対する違反が発生したときのセキュリティ上のリスクの深刻度に基づいて決定される。この実施例では、３段階の優先度が設定されるが、２段階または４段階以上の優先度を設定してもよい。

【0019】

対処方針は、当該ルールに違反する記述に対してどのように対処するのかを表す。この実施例では、優先度に応じて図４（ａ）に示す方針が設定されている。すなわち、最も優先度が高いレベル３が付与されるルールに違反する記述に対しては「他の言語の記述に置き替える」が設定されている。２番目に優先度が高いレベル２が付与されるルールに違反する記述に対しては「他の言語の記述に置き替えることを推奨する」が設定されている。最も優先度が低いレベル１が付与されるルールに違反する記述に対しては「所定のポリシに基づいて修正する」が設定されている。

【0020】

Ｓ２において、ルールリスト作成部１１は、ソースコード修正支援装置１に与えられたセキュアコーディングルール３を取得する。Ｓ３において、ルールリスト作成部１１は、ソースコードを記述する際に守らなければならない各ルールに優先度を付与することでセキュリティルールリストを作成する。この実施例では、図２に示す各ルールに対して図４（ａ）に示す優先度を付与することで、図４（ｂ）に示すセキュリティルールリスト２２が得られる。

【0021】

例えば、ソースコードが、「ＩＮＴ３２－Ｃ」で識別されるルール「符号付き整数演算がオーバフローを引き起こさないことを保証する」に違反する記述を含むときは、重大な障害が発生する可能性があると考えられる。したがって、このルールに対して高い優先度「３」が付与される。「ＩＮＴ３３－Ｃ」および「ＥＸＰ３３－Ｃ」で識別されるルールについても同様である。また、ソースコードが、「ＡＲＲ３２－Ｃ」で識別されるルール「可変長配列のサイズ引数が適切な範囲内にあることを保証する」に違反する記述を含むときは、何らかの障害が発生する可能性があるものの、重大な障害が発生する可能性は高くないと考えられる。したがって、このルールに対しては、中間レベルの優先度「２」が付与される。他方、ソースコードが、「ＭＳＣ０５－Ｃ」で識別されるルール「time_t型の値を直接操作しない」に違反する記述を含む場合であっても、重大な障害が発生する可能性は低いと考えられる。したがって、このルールに対しては、低い優先度「１」が付与される。

【0022】

各ルールに対して付与する優先度は、例えば、ソースコード２を修正する作業者が決定してもよい。この場合、この作業者がコンピュータを操作することで、図４（ｂ）に示すセキュリティルールリスト２２が作成される。作成されたセキュリティルールリスト２２は、ソースコード修正支援装置１が備える不図示のメモリに保存される。

【0023】

ルールリスト取得部１２は、図３に示す手順で作成されたセキュリティルールリスト２２を取得する。この実施例では、ルールリスト取得部１２は、ソースコード修正支援装置１が備えるメモリから図４（ｂ）に示すセキュリティルールリスト２２を読み出す。

【0024】

静的解析部１３は、ルールリスト取得部１２が取得したセキュリティルールリスト２２に基づいて、ソースコード２において違反記述を検索する。即ち、静的解析部１３は、ソースコード２において、セキュリティルールリスト２２に記載されているルールに違反する違反記述を検索する。

【0025】

図５は、静的解析部１３の処理の一例を示すフローチャートである。このフローチャートの処理は、ソースコード修正支援装置１にソースコード２が与えられたときに実行される。ただし、このフローチャートの処理が実行される前に、図４（ｂ）に示すセキュリティルールリスト２２が作成されているものとする。

【0026】

Ｓ１１において、静的解析部１３は、ソースコード２を取得する。Ｓ１２において、静的解析部１３は、図３に示す手順で作成されたセキュリティルールリスト２２に従って、ソースコード２内の違反記述を検索する。なお、予め決められたルールに違反する記述を検索する方法は、公知に技術により実現される。そして、Ｓ１３において、静的解析部１３は、検索結果を表す検索結果リストを出力する。

【0027】

図６は、静的解析部１３の検索結果を表す検索結果リストの一例を示す。この実施例では、ソースコード２は、ファイル名が「main.c」であるメインプログラムおよびファイル名が「sub.c」であるサブプログラムを含む。

【0028】

検索結果リスト２３は、図６（ａ）に示すように、検出された違反記述ごとに、違反が検出されたファイル名、違反が検出された位置、違反に係わる記述、違反が検出されたルールを識別するルール番号、検出された違反の内容、および違反が検出されたルールの優先度を表す。優先度は、図４（ｂ）に示すセキュリティルールリスト２２を参照して設定される。例えば、メインプログラムの１２行目において、除算の分母がゼロとなる違反が検出されている。この違反は、図４（ｂ）に示すように、最も優先度が高い違反（即ち、レベル３の違反）に該当する。よって、静的解析部１３は、この違反記述に対して「レベル３」を対応づける。このように、静的解析部１３は、ソースコード２から違反記述を検出すると共に、検出した各違反記述に対して、セキュリティ上のリスクの深刻度を表す優先度を対応づける。これにより、検索結果リスト２３が得られる。

【0029】

静的解析部１３は、図６（ｂ）に示すように、検索結果の概要を表す検索結果リスト２４を作成してもよい。検索結果リスト２４は、ファイル毎に、検索を実行したソースコードの行数、違反が検出された記述の総個数、および優先度ごとに違反が検出された記述の個数を表す。例えば、ファイル名が「main.c」であるメインプログラムに対する検索結果として、レベル３、レベル２、レベル１の違反がそれぞれ３個、２個、１５個検出されたことを表している。

【0030】

判定部１４は、静的解析部１３による検索結果に基づいて、各違反記述についての対処方針を判定する。すなわち、判定部１４は、静的解析部１３により検出された各違反記述について、対応づけられている優先度に基づいて対処方針を判定する。

【0031】

図７は、判定部１４の処理の一例を示すフローチャートである。なお、このフローチャートの処理を実行する前に、静的解析部１３により検索結果リスト２３が作成されているものとする。

【0032】

Ｓ２１において、判定部１４は、静的解析部１３により作成された検索結果リストを取得する。このとき、違反記述ごとに優先度が設定されている検索結果リスト（例えば、図６（ａ）に示す検索結果リスト２３）を取得する。Ｓ２２において、判定部１４は、検索結果リストから違反記述を選択する。Ｓ２３において、判定部１４は、選択した違反記述の優先度が「レベル３：高優先」であるか否かを判定する。

【0033】

選択した違反記述の優先度が「レベル３：高優先」であるときには、判定部１４は、Ｓ２４において、その違反記述を図８（ａ）に示す他言語置換えリスト２５に追加する。他言語置換えリスト２５は、他の言語に置き換えることが必要な違反記述を登録するためのリストである。これに対して、選択した違反記述の優先度が「レベル２：中優先」または「レベル１：低優先」であるときは、判定部１４は、Ｓ２５において、その違反記述を図８（ｂ）に示す他処理リスト２６に追加する。他処理リスト２６は、他の言語に置き換える処理以外の処理を実行すべき違反記述を登録するためのリストである。

【0034】

Ｓ２６において、判定部１４は、Ｓ２３～Ｓ２５の処理を実行していない違反記述が検索結果リストに残っているかチェックする。Ｓ２３～Ｓ２５の処理を実行していない違反記述が検索結果リストに残っているときには、判定部１４の処理はＳ２２に戻る。すなわち、検索結果リストから次の違反記述が選択される。この後、新たに選択された違反処理に対してＳ２３～Ｓ２５の処理が実行される。そして、検索結果リストに登録されているすべての違反記述に対してＳ２３～２５の処理が実行されると、判定部１４の処理は終了する。このようにして、他言語置換えリスト２５および他処理リスト２６が作成される。

【0035】

例えば、図６（ａ）に示す検索結果リスト２３が判定部１４に与えられるものとする。そして、判定部１４は、検索結果リスト２３に登録されている各違反記述に対してＳ２３～Ｓ２５の処理を実行する。この場合、１２行目の違反記述および１０３行目の違反記述の優先度はそれぞれレベル３である。よって、これらの違反記述は、それぞれ他言語置換えリスト２５に追加される。他方、２０３行目の違反記述の優先度はレベル２であり、３０３行目の違反記述の優先度はレベル１である。したがって、これらの違反記述は、それぞれ他処理リスト２６に追加される。これにより、図８（ａ）に示す他言語置換えリスト２５および図８（ｂ）に示す他処理リスト２６が得られる。他言語置換えリスト２５は、最も高い優先度（レベル３）が対応づけられている違反記述への対処方針として、第１の言語（Ｃ／Ｃ＋＋）よりも信頼性の高い第２の言語（Ｒｕｓｔ）に置き換えることを指示する情報の一例である。

【0036】

なお、図７に示す手順は１つの実施例であり、本発明の実施形態はこの手順に限定されるものではない。例えば、図９に示す例では、図７に示すＳ２３に代わりに、Ｓ３１～Ｓ３２の処理を実行する。すなわち、Ｓ３１において、判定部１４は、選択した違反記述の優先度が「レベル２：中優先」または「レベル３：高優先」であるか否かを判定する。そして、選択した違反記述の優先度が「レベル２：中優先」または「レベル３：高優先」であるときは、Ｓ３２において、判定部１４は、選択した違反記述に係わる関数の結合度をチェックする。そして、違反記述に係わる関数の結合度は低いときには、判定部１４は、その違反記述を他の言語の記述に置き換えることが容易であると判定し、Ｓ２４においてその違反記述を他言語置換えリスト２５に追加する。他方、選択した違反記述の優先度が「レベル１：低優先」である場合、又は、違反記述に係わる関数の結合度は高いときは、判定部１４は、Ｓ２５において、その違反記述を他処理リスト２６に追加する。なお、関数の結合度は、例えば、当該関数を修正したときに他の記述にどの程度の影響を与えるのかを表す。

【0037】

このように、ソースコード修正支援装置１は、セキュアコーディングルール３に基づいてソースコード２から違反記述を抽出する。このとき、各違反記述に対して、セキュリティ上のリスクの深刻度（または、信頼性の高いプログラミング言語に置き換える必要性の程度）に対応する優先度が付与される。そして、ソースコード修正支援装置１は、この優先度を参照して各違反記述をグループ化することにより、他言語置換えリスト２５および他処理リスト２６を作成する。この後、他言語置換えリスト２５および他処理リスト２６は、図１に示すソースコード修正装置４に与えられる。

【0038】

ソースコード修正装置４は、ソースコード修正支援装置１により作成された他言語置換えリスト２５および他処理リスト２６に基づいてソースコード２を修正する。そして、試験装置５は、ソースコード修正装置４により修正されたソースコード２を実行することで動作確認を行う。なお、ソースコード修正装置４および試験装置５は、例えば、ソースコード２を修正する作業者がコンピュータを操作することで実現される。

【0039】

図１０は、ソースコード修正装置４および試験装置５による処理の一例を示すフローチャートである。この実施例では、Ｓ４１において、ソースコード修正装置４は、ソースコード２を取得する。また、ソースコード修正装置４は、Ｓ４２およびＳ４５において、ソースコード修正支援装置１により作成された他言語置換えリスト２５および他処理リスト２６をそれぞれ取得する。

【0040】

Ｓ４３～Ｓ４４の処理は、他言語置換えリスト２５に登録されている各違反記述に対して実行される。すなわち、Ｓ４３において、ソースコード修正装置４は、違反記述を他の言語の記述に置き換える。例えば、ソースコード２がＣ言語で記述されているときに、違反記述はＲｕｓｔ言語の記述に置き換えられる。このとき、ソースコード２を修正する作業者が、ソースコード修正装置４を実現するコンピュータを用いて手作業でコードを書き換えてもよい。あるいは、ソースコード修正装置４がＣ言語からＲｕｓｔ言語への変換機能を有するときは、ソースコード修正装置４により違反記述がＲｕｓｔ言語の記述に置き換えられる。この場合、ソースコード修正装置４は、判定部１４により他の言語の記述に置き換えるべきと判定された違反記述を、Ｒｕｓｔの記述に変換する変換部として動作する。なお、プログラムコード全体をソフトウェア処理で他の言語に変換することは容易ではないが、一部の記述を他の言語に変換することは既存の技術で可能である。

【0041】

Ｓ４４において、試験装置５は、他の言語に置き換えられた記述をコンパイルして実行する。すなわち、違反記述が正しく他の言語に置き換えられたか否かについての試験が行われる。そして、試験結果は、ソースコード修正装置４にフィードバックされる。このとき、違反記述が正しく他の言語に置き換えられていなければ、ソースコード修正装置４においてその記述がさらに修正される。これにより、他言語置換えリスト２５に登録されている各違反記述が正しく他の言語に置き換えられる。

【0042】

Ｓ４６～Ｓ４７の処理は、他処理リスト２６に登録されている各違反記述に対して実行される。すなわち、Ｓ４６において、ソースコード修正装置４は、ソースコードの言語のまま違反記述を修正する。例えば、ソースコード２がＣ言語で記述されているときは、違反記述は、Ｃ言語のままその内容が修正される。このとき、ソースコード２を修正する作業者が、ソースコード修正装置４を実現するコンピュータを用いて手作業でコードを修正してもよい。或いは、ソースコード修正装置４は、違反記述を修正することなく、違反記述が修正されてないことを表すレポートを出力してもよい。

【0043】

Ｓ４７において、試験装置５は、修正後の記述をコンパイルして実行する。すなわち、違反記述が正しく修正されたか否かについて試験が行われる。そして、試験結果は、ソースコード修正装置４にフィードバックされる。このとき、違反記述が正しく修正されていなければ、ソースコード修正装置４においてその記述がさらに修正される。これにより、他処理リスト２６に登録されている各違反記述が正しく修正される。なお、Ｓ４６において違反記述が修正されないときは、Ｓ４７の処理を実行しなくてもよい。

【0044】

Ｓ４８において、試験装置５は、他の言語に置き換えられた記述および修正された記述をソースコード２に結合する。そして、試験装置５は、他の言語に置き換えられた記述および修正された記述を含むプログラムを試験する。

【0045】

このように、ソースコード修正支援装置１は、ソースコードから検出される各違反記述に対して、セキュリティ上のリスクの深刻度（または、信頼性の高いプログラミング言語に置き換える必要性の程度）に対応する優先度を付与する。そして、ソースコード修正支援装置１は、優先度が対応づけられた違反記述を表す情報を出力する。したがって、ソースコード２を修正する作業者は、ソースコードのサイズが大きく、多数の違反記述を含む場合であっても、セキュリティ上のリスクの深刻度が高い違反記述を容易に認識できる。すなわち、コストまたは作業量の観点で全ての違反記述を他の言語の記述に置き換えることが困難なケースであっても、セキュリティ上のリスクの深刻度が高い違反記述を確実に信頼性の高いプログラミング言語の記述に置き換えることができる。これにより、コストまたは作業量の制限がある場合であっても、信頼性が低い既存のプログラムのリスクを小さくできる。

【0046】

＜ハードウェア構成＞
図１１は、ソースコード修正支援装置１のハードウェア構成の一例を示す。ソースコード修正支援装置１は、プロセッサ２０１、メモリ２０２、記憶装置２０３、入出力デバイス２０４、記録媒体読取り装置２０５、および通信インタフェース２０６を備えるコンピュータ２００により実現される。

【0047】

プロセッサ２０１は、記憶装置２０３に保存されている修正支援プログラムを実行することにより、ソースコード修正支援装置１の動作を制御する。修正支援プログラムは、図３、図５、および図７に示すフローチャートの手順を記述したプログラムコードを含む。よって、プロセッサ２０１がこのプログラムを実行することで、図１に示すルールリスト作成部１１、ルールリスト取得部１２、静的解析部１３、および判定部１４の機能が提供される。メモリ２０２は、プロセッサ２０１の作業領域として使用される。記憶装置２０３は、上述した修正支援プログラムおよび他のプログラムを保存する。

【0048】

入出力デバイス２０４は、キーボード、マウス、タッチパネル、マイクなどの入力デバイスを含む。また、入出力デバイス２０４は、表示装置、スピーカーなどの出力デバイスを含む。記録媒体読取り装置２０５は、記録媒体２１０に記録されているデータおよび情報を取得できる。記録媒体２１０は、コンピュータ２００に着脱可能なリムーバブル記録媒体である。また、記録媒体２１０は、例えば、半導体メモリ、光学的作用で信号を記録する媒体、または磁気的作用で信号を記録する媒体により実現される。なお、修正支援プログラムは、記録媒体２１０からコンピュータ２００に与えられてもよい。通信インタフェース２０６は、ネットワークに接続する機能を提供する。なお、修正支援プログラムがプログラムサーバ２２０に保存されているときは、コンピュータ２００は、プログラムサーバ２２０から修正支援プログラムを取得してもよい。

【0049】

図１１に示すコンピュータ２００は、ソースコード修正支援装置１の機能に加えて、ソースコード修正装置４および試験装置５の機能を提供してもよい。また、ソースコード修正支援装置１、ソースコード修正装置４、および試験装置５は、別々のコンピュータで実現してもよい。

【符号の説明】

【0050】

１ ソースコード修正支援装置
２ ソースコード
３ セキュアコーディングルール
４ ソースコード修正装置
５ 試験装置
１１ ルールリスト作成部
１２ ルールリスト取得部
１３ 静的解析部
１４ 判定部
２１ 優先度リスト
２２ セキュリティルールリスト
２３、２４ 検索結果リスト
２５ 他言語置換えリスト
２６ 他処理リスト

【図1】

【図2】

【図3】

【図4】

【図5】

【図6】

【図7】

【図8】

【図9】

【図10】

【図11】