JP7513116B2

JP7513116B2 - コールグラフ作成装置、コールグラフ作成方法及びプログラム

Info

Publication number: JP7513116B2
Application number: JP2022568003A
Authority: JP
Inventors: 卓弥岩塚
Original assignee: Nippon Telegraph and Telephone Corp
Current assignee: Nippon Telegraph and Telephone Corp
Filing date: 2020-12-11
Publication date: 2024-07-09
Anticipated expiration: 2040-12-11

Description

本発明は、コールグラフ作成装置、コールグラフ作成方法及びプログラムに関する。

プログラムのコールグラフとは、プログラム中の関数をノードとする有向グラフである。ある関数の処理中において別の関数が呼び出される場合、コールグラフではその呼び出し関係が、呼び出し元の関数のノードから呼び出し先の関数のノードへのエッジとして表現される。コールグラフを利用することで、プログラムの処理の流れを辿ることができるため、コールグラフはプログラムの解析手段として広く利用されている。

関数がクラスに紐付けて定義される、クラスベースのオブジェクト指向プログラミング言語は、クラスの継承と呼ばれる機能を持つ場合が多い。継承先のクラス（子クラス）は継承元のクラス（親クラス）と同じインタフェースの関数を持ち、その関数の処理を上書きすることができる。継承を機能として持つプログラミング言語によって記述されたプログラムにおいては、継承関係にあるクラスがそれぞれ同じインタフェースの関数を持つため、或る箇所における関数の呼び出しによってどのクラスで定義された関数が呼び出されるかがプログラム実行時まで決定されない場合がある。

プログラムを解析してコールグラフを作成する際に、関数間の呼び出し関係が一意に決定できない場合、クラスの継承関係を解析（ＣＨＡ（Call Hierarchy Analysis））し、呼び出される可能性のある全ての関数のノードに対してエッジを作成することで、起こり得る全ての呼び出し関係を網羅したコールグラフを作成することができる。

ＣＨＡによるコールグラフの作成では、クラスの継承関係のみに従ってコールグラフが作成されるため、実際のプログラムの実行では起こり得ない呼び出し関係がグラフ中に現れる可能性がある。これはコールグラフを用いたソフトウェアの解析の精度を低下させる原因となる。

例えば、図１に示される通り、クラスＡを継承したＢ、Ｃというクラスがあり、図２に示すクラスＺの関数ｆからのコールグラフをＣＨＡで作成する場合について考える。

図２の例では、架空のプログラミング言語が用いてられている。Ｚ、Ａ、Ｂはそれぞれクラスを定義し、ｆ、ｇはそれぞれ関数を定義しており、関数の内部はＪａｖａ（登録商標）と同じ構文及び意味を持つものとする。

関数ｆから呼び出される関数ｇに渡されるオブジェクトは、実際にはクラスＢのインスタンスであるが、関数ｇはクラスＡ又はクラスＡを継承したクラスのオブジェクトを受け取る関数であるため、ＣＨＡでは実際に渡されるオブジェクトのクラスを無視し、図３に示されるようなコールグラフが作成される。このコールグラフには実際のプログラムの実行時に起きることのないＡ．ｘやＣ．ｘの呼び出しが含まれる。

これを解決するため、ＲＴＡ（Rapid Type Analysis）と呼ばれる従来技術（非特許文献１）がある。ＲＴＡでは、関数のソースコードを解析することによって関数内でインスタンス化されるクラスが記録され、或る箇所での関数呼び出しによって実際に呼び出される可能性のある関数が絞り込まれる。これによって、コールグラフを用いたソフトウェア分析の精度を向上させることができる。前述の例において、ＲＴＡによってコールグラフを作成する場合、関数ｆ内でインスタンス化されているクラスがＢであるという解析の結果を用いて図４に示されるようなコールグラフが作成される。

David F.Bacon and Peter F.Sweeney、"Fast static analysis of C++ virtual function calls"、SIGPLAN Not.31,10(Oct.1996),324-341、［online］、インターネット＜ＵＲＬ：https://doi.org/10.1145/236338.236371＞

しかしながら、ＲＴＡでは、関数呼び出しを行う関数自身や、関数呼び出しを行う関数の呼び出し元の関数においてインスタンス化されたクラスのリストを用いてコールグラフが作成されるため、クラスのインスタンス化の処理が関数の呼び出し関係の外部で行われた場合にはコールグラフを作成することができない。

或るクラスＸのインスタンスを生成するために他のクラスＹのインスタンスが必要となる場合、クラスＸはクラスＹに依存する関係にあり、これをクラス間の依存関係と呼ぶ。規模の大きなプログラムでは、クラス間の依存関係が複雑化するため、インスタンス化の処理をプログラムの処理の流れから独立して管理する、依存性の注入（ＤＩ（Dependency Injection））と呼ばれる設計パターンが利用される。ＤＩを利用した実装では、ＤＩで生成されたオブジェクトをＤＩコンテナと呼ばれるオブジェクトから取得することが一般的である。例として、前述の例をＤＩを利用して書き換えたソースコードを図５に示す。

図５において、ＤＩコンテナのクラスＣｏｎｔａｉｎｅｒのオブジェクトｃｏｎｔａｉｎｅｒは、ＤＩによって生成されたインスタンスを保持しており、ＤＩによるインスタンス生成は、ＤＩ機能を提供するライブラリによって関数呼び出しの流れから独立して行われる。そのため、ＲＴＡでは、関数ｆ内でａに代入されるオブジェクトがどのクラスのインスタンスであるのかを知ることができず、コールグラフを作成することができない。

更に、ＤＩによるインスタンス生成は、リフレクションなどのプログラミング言語の動的な機能を利用して行われる場合があり、ソースコード中でインスタンス化されているクラスを記録する従来の手法のみでこの問題を解決することはできない。

本発明は、上記の点に鑑みてなされたものであって、コールグラフの作成精度を向上させることを目的とする。

そこで上記課題を解決するため、コールグラフ作成装置は、或るプログラムが含む第１の関数の定義を解析して、前記第１の関数においてインスタンス化されるクラスの一覧と、前記第１の関数が呼び出す第２の関数の一覧とを特定する第１の特定部と、前記第２の関数ごとに、当該第２の関数の定義を含むクラスを、前記クラスの一覧から特定する第２の特定部と、前記第１の関数及び前記第２の関数のそれぞれをノードとし、前記第１の関数のノードから前記第２の関数へのノードへのエッジを含むコールグラフを作成する作成部と、を有する。

コールグラフの作成精度を向上させることができる。

クラスの継承関係及び各クラスが有する関数の一例を示す図である。クラスの関数を呼び出すソースコードの一例を示す図である。ＣＨＡによって作成されるコールグラフの一例を示す図である。ＲＴＡによって作成されるコールグラフの一例を示す図である。ＤＩを利用して書き換えたソースコードの一例を示す図である。本発明の実施の形態におけるコールグラフ作成装置１０のハードウェア構成例を示す図である。本発明の実施の形態におけるコールグラフ作成装置１０の機能構成例を示す図である。ＤＩ設定ファイル解析部１１が実行する処理手順の一例を説明するためのフローチャートである。ＤＩ注釈解析部１２が実行する処理手順の一例を説明するためのフローチャートである。ＤＩ定義関数解析部１３が実行する処理手順の一例を説明するためのフローチャートである。コールグラフ作成部１４が実行する処理手順の一例を説明するためのフローチャートである。クラスの特定処理の処理手順の一例を説明するためのフローチャートである。

本実施の形態において開示されるコールグラフ作成装置１０は、Ｊａｖａ（登録商標）等のクラスベースのオブジェクト指向プログラミング言語で実装された或るプログラム（以下、「対象プログラム」という。）を対象として解析を行い、対象プログラムのコールグラフを出力する。

ＤＩ（Dependency Injection）を利用して実装されたプログラムにおいて、クラスのインスタンス化は、プログラムの処理の流れから独立して行われる。ＤＩを利用する場合には専用のライブラリを利用することが一般的であり、これらのライブラリにおけるクラスのインスタンス化の方法としては、プログラム中の関数の記述に従ってインスタンス化する方法、設定ファイルの記述に従ってインスタンス化する方法、クラスに付与された注釈に従ってインスタンス化する方法が用いられている。

そのために生じる、従来のコールグラフ作成技術では正確なコールグラフが作成できないという課題に対して、コールグラフ作成装置１０は、コールグラフの作成前にインスタンス化されるクラスを静的に解析し、解析結果をコールグラフ作成時のクラス特定に利用することで、この課題を解決する。

以下、図面に基づいて本発明の実施の形態を説明する。図６は、本発明の実施の形態におけるコールグラフ作成装置１０のハードウェア構成例を示す図である。図６のコールグラフ作成装置１０は、それぞれバスＢで相互に接続されているドライブ装置１００、補助記憶装置１０２、メモリ装置１０３、ＣＰＵ１０４、及びインタフェース装置１０５等を有する。

コールグラフ作成装置１０での処理を実現するプログラムは、ＣＤ－ＲＯＭ等の記録媒体１０１によって提供される。プログラムを記憶した記録媒体１０１がドライブ装置１００にセットされると、プログラムが記録媒体１０１からドライブ装置１００を介して補助記憶装置１０２にインストールされる。但し、プログラムのインストールは必ずしも記録媒体１０１より行う必要はなく、ネットワークを介して他のコンピュータよりダウンロードするようにしてもよい。補助記憶装置１０２は、インストールされたプログラムを格納すると共に、必要なファイルやデータ等を格納する。

メモリ装置１０３は、プログラムの起動指示があった場合に、補助記憶装置１０２からプログラムを読み出して格納する。ＣＰＵ１０４は、メモリ装置１０３に格納されたプログラムに従ってコールグラフ作成装置１０に係る機能を実行する。インタフェース装置１０５は、ネットワークに接続するためのインタフェースとして用いられる。

図７は、本発明の実施の形態におけるコールグラフ作成装置１０の機能構成例を示す図である。図７において、コールグラフ作成装置１０は、ＤＩ設定ファイル解析部１１、ＤＩ注釈解析部１２、ＤＩ定義関数解析部１３及びコールグラフ作成部１４を有する。これら各部は、コールグラフ作成装置１０にインストールされた１以上のプログラムが、ＣＰＵ１０４に実行させる処理により実現される。

ＤＩ設定ファイル解析部１１は、ＤＩ設定ファイルを解析することで、対象プログラムの実行時にインスタンス化されるクラスの一覧を特定する。

ＤＩ注釈解析部１２は、ＤＩ注釈の付与されたクラスを解析することで、対象プログラムの実行時にインスタンス化されるクラスの一覧を特定する。

ＤＩ定義関数解析部１３は、ＤＩ定義関数を解析することで、対象プログラムの実行時にインスタンス化されるクラスの一覧を特定する。

コールグラフ作成部１４は、ＤＩ設定ファイル解析部１１、ＤＩ注釈解析部１２及びＤＩ定義関数解析部１３から出力される解析結果（クラスの一覧）を用いて、コールグラフを作成する。コールグラフとは、プログラム中の関数をノードとし、関数の呼び出し関係をエッジとする有向グラフである。

以下に、各部の詳細と動作について詳細に説明する。

［ＤＩ設定ファイル解析部１１］
ＤＩ設定ファイル解析部１１は、対象プログラムに対するＤＩ設定ファイルを読み込み、ＤＩ機能を持つライブラリによってインスタンス化されるクラスを解析する。ＤＩ設定ファイルは、ＤＩに用いられるによって書式が異なるが、以下に記す情報で構成される。なお、以下の記法は、ＢＮＦ記法に準拠している。
ＤＩ設定ファイル：：＝ＤＩ設定一覧ＤＩ注釈探索対象クラス識別子＊
ＤＩ設定一覧：：＝ＤＩ設定＊
ＤＩ設定：：＝ＤＩ設定識別子クラス識別子プロパティ設定＊
プロパティ設定：：＝プロパティ識別子値｜プロパティ識別子ＤＩ設定識別子
なお、ＤＩ注釈探索対象クラス識別子は、ＤＩ機能を持つライブラリがＤＩ注釈を用いてインスタンスを生成する際に、ＤＩ注釈の探索対象（探索範囲）とするクラス（以下、「注釈探索対象クラス」という。）を一意に識別可能な識別子（以下、「クラス識別子」という。）である。ＤＩ設定とは、ＤＩ機能を持つライブラリによってインスタンス化されるクラスのクラス識別子を含む設定である。プロパティ設定は、ＤＩ機能を持つライブラリがインスタンス生成を行う際に、インスタンスのプロパティに設定する値又はオブジェクト（ＤＩ設定識別子）を指定するための設定である。

図８は、ＤＩ設定ファイル解析部１１が実行する処理手順の一例を説明するためのフローチャートである。

ステップＳ１０１において、ＤＩ設定ファイル解析部１１は、対象プログラムに対するＤＩ設定ファイルを読み込む。続いて、ＤＩ設定ファイル解析部１１は、ＤＩ設定ファイルの構文解析を行うことで、ＤＩ設定ファイルからＤＩ設定一覧を取得する（Ｓ１０２）。続いて、ＤＩ設定ファイル解析部１１は、ＤＩ設定一覧に含まれるＤＩ設定ごとに、当該ＤＩ設定に含まれる一組のＤＩ設定識別子及びクラス識別子を抽出し（Ｓ１０３）、抽出したＤＩ識別子及びクラス識別子を含むＤＩ解析情報をＤＩ解析情報一覧へ追加する（Ｓ１０４）。なお、ＤＩ解析情報及びＤＩ解析情報一覧の構成は、以下の通りである。
ＤＩ解析情報：：＝ＤＩ設定識別子クラス識別子
ＤＩ解析情報一覧：：＝ＤＩ解析情報＊
続いて、ＤＩ設定ファイル解析部１１は、ＤＩ解析情報一覧を出力する（Ｓ１０５）。

［ＤＩ注釈解析部１２］
ＤＩ注釈解析部１２は、ＤＩ注釈の付与されたクラスを解析することで、ＤＩ機能を持つライブラリによってインスタンス化されるクラスを解析するモジュールである。ＤＩ注釈は、ＤＩに用いられるによって書式が異なるが、一般的にはプログラミング言語の持つ注釈機能を利用して実装されており、ＤＩ注釈がクラスに付与されたクラスは、ＤＩによるインスタンス化の対象であることを示す。ＤＩ注釈にはＤＩ設定識別子が設定される。

図９は、ＤＩ注釈解析部１２が実行する処理手順の一例を説明するためのフローチャートである。

ステップＳ２０１において、ＤＩ注釈解析部１２は、ＤＩ設定ファイルを読み込む。続いて、ＤＩ注釈解析部１２は、ＤＩ設定ファイルの構文解析を行うことで、ＤＩ注釈探索対象クラス識別子を取得することで、ＤＩ注釈探索対象クラス識別子に係るクラス（ＤＩ注釈探索対象クラス）を特定する（Ｓ２０２）。

続いて、ＤＩ注釈解析部１２は、対象プログラムのソースコードを読み込み（Ｓ２０３）、当該ソースコードについて構文解析を行うことでクラス一覧を取得する（Ｓ２０４）。クラス一覧とは、対象プログラムが利用する各クラスのクラス識別子の一覧である。

続いて、ＤＩ注釈解析部１２は、クラス一覧に含まれるクラス識別子に係るクラスごとに、当該クラスがいずれかのＤＩ注釈探索対象クラスに該当するか否か（すなわち、当該クラスのクラス識別子がＤＩ注釈探索対象クラスのクラス識別子に一致するか否か）を判定し（Ｓ２０５）、当該クラスがいずれかのＤＩ注釈探索対象クラスに該当すれば（Ｓ２０５でＹＥＳ）、当該クラスの定義からＤＩ注釈を探索し、当該ＤＩ注釈に含まれるＤＩ設定識別子を抽出する（Ｓ２０６）。ＤＩ注釈解析部１２は、抽出したＤＩ設定識別子及び当該クラスのクラス識別子を含むＤＩ解析情報をＤＩ解析情報一覧へ追加する（Ｓ２０７）。なお、当該ＤＩ解析情報一覧は、ＤＩ設定ファイル解析部１１により抽出されるＤＩ解析情報一覧とは別途生成される。

続いて、ＤＩ注釈解析部１２は、ＤＩ解析情報一覧を出力する（Ｓ２０８）。

［ＤＩ定義関数解析部１３］
ＤＩ定義関数解析部１３は、ＤＩ定義関数を解析し、ＤＩ機能を持つライブラリによってインスタンス化されるクラスを解析するモジュールである。ＤＩ定義関数は、一般的にはプログラミング言語の関数定義機能を利用しており、ＤＩ定義関数であることを示す注釈を付与するか、ＤＩ機能を持つライブラリのＡＰＩを使用することにより、関数内でインスタンス化されたオブジェクトをＤＩコンテナに保持させる。ＤＩ定義関数にはＤＩ設定識別子が設定される。

図１０は、ＤＩ定義関数解析部１３が実行する処理手順の一例を説明するためのフローチャートである。

ステップＳ３０１において、ＤＩ定義関数解析部１３は、対象プログラムのソースコードを読み込む。続いて、ＤＩ定義関数解析部１３は、当該ソースコードの構文解析を行うことで、関数定義の一覧を取得する（Ｓ３０２）。関数定義の一覧とは、対象プログラムが利用する関数（クラスの関数（メソッド）の定義の一覧をいう。

続いて、ＤＩ定義関数解析部１３は、関数定義の一覧に含まれる関数定義ごとに、ＤＩ定義関数であることを示す注釈が付与されているか、又はＤＩ定義関数用のＡＰＩを利用しているかを検査することで、当該関数定義に係る関数がＤＩ定義関数であるか否かを判定し（Ｓ３０３）、当該関数がＤＩ定義関数であれば（Ｓ３０３でＹＥＳ）、当該関数定義を解析する（Ｓ３０４）。具体的には、ＤＩ定義関数解析部１３は、当該関数定義に係る関数の戻り値を取得し、当該関数定義において戻り値のインスタンス化を行っている箇所を特定することで、戻り値のクラスのクラス識別子を当該関数定義から抽出する。すなわち、当該クラスが、ＤＩ機能を持つライブラリによってインスタンス化されるクラスとして特定される。また、ＤＩ定義関数解析部１３は、当該関数定義における、ＤＩ定義関数であることを示す注釈又はＤＩ定義関数用のＡＰＩを解析することで、ＤＩ設定識別子を当該関数定義から抽出する。ＤＩ定義関数解析部１３は、抽出したＤＩ識別子と戻り値のクラス識別子とを含むＤＩ解析情報をＤＩ解析情報一覧へ追加する（Ｓ３０５）。

続いて、ＤＩ定義関数解析部１３は、ＤＩ解析情報一覧を出力する（Ｓ３０６）。

［コールグラフ作成部１４］
コールグラフ作成部１４は、ＤＩ設定ファイル解析部１１、ＤＩ注釈解析部１２及びＤＩ定義関数解析部１３から出力されたＤＩ解析情報と対象プログラムのソースコードとに基づいてコールグラフを作成するモジュールである。

図１１は、コールグラフ作成部１４が実行する処理手順の一例を説明するためのフローチャートである。

ステップＳ４０１において、コールグラフ作成部１４は、１以上のコールグラフエントリポイントの識別子（関数識別子）の入力をユーザから受け付ける。コールグラフエントリポイントは、作成するコールグラフの起点となる関数（対象プログラムのいずれかのクラスのいずれかの関数（メソッド））である。複数のコールグラフエントリポイントの関数識別子が入力されてもよい。

続いて、コールグラフ作成部１４は、コールグラフエントリポイントとして入力された１以上の関数識別子を処理対象関数一覧の初期値とする（Ｓ４０２）。続いて、コールグラフ作成部１４は、処理対象関数一覧に含まれる処理対象関数ごとに、ステップＳ４０３～４０５及びループ処理Ｌ２を含むループ処理Ｌ１を実行する。

ステップＳ４０３において、コールグラフ作成部１４は、処理対象関数一覧から一つの処理対象関数を取り出す。以下、取り出された処理対象関数を「処理対象関数Ｘ」という。なお、取り出された処理対象関数Ｘは、処理対象関数一覧から削除される。

続いて、コールグラフ作成部１４は、処理対象関数Ｘの定義（ソースコード）を解析することにより、処理対象関数Ｘ内でインスタンス化されるクラス（以下、「インスタンス化クラス」という。）のクラスの定義の一覧を抽出する（Ｓ４０４）。すなわち、コールグラフ作成部１４は、インスタンス化クラスの一覧を特定する。

続いて、コールグラフ作成部１４は、処理対象関数Ｘの定義を解析することにより、処理対象関数Ｘ内で呼び出される（処理対象関数Ｘが呼び出す）各関数（以下、「呼び出し関数」という。）の関数識別子の一覧（以下、「呼び出し関数一覧」という。）を抽出する（Ｓ４０５）。すなわち、コールグラフ作成部１４は、呼び出し関数の一覧を特定する。

続いて、コールグラフ作成部１４は、呼び出し関数一覧に含まれる関数識別子に係る関数（呼び出し関数）ごとに、ステップＳ４０６～Ｓ４０８を含むループ処理Ｌ２を実行する。ループ処理Ｌ２において処理対象とされている呼び出し関数を、「呼び出し関数Ｙ」という。

ステップＳ４０６において、コールグラフ作成部１４は、呼び出し関数Ｙの呼び出しによって実際に（対象プログラムの実行時に）呼び出されうる関数が定義されている１以上のクラスを特定する。すなわち、呼び出し関数Ｙと同一名の関数のうち、ステップＳ４０６において特定されたクラスで定義された関数が、処理対象関数Ｙから実際に呼び出される可能性が有る関数である。なお、ステップＳ４０６の詳細については後述される。

続いて、コールグラフ作成部１４は、処理対象関数Ｘから、ステップＳ４０６において特定された各クラスの呼び出し関数Ｙへのエッジをコールグラフに追加する（Ｓ４０７）。この際、コールグラフ作成部１４は、当該エッジの先側のノード（呼び出し関数Ｙに対応するノード）が存在しなければ、当該ノードも生成する。

続いて、コールグラフ作成部１４は、呼び出し関数Ｙから更に呼び出される関数を再帰的に処理するため、呼び出し関数Ｙを処理対象関数一覧に追加する（Ｓ４０８）。

ループ処理Ｌ２が終了すると、コールグラフ作成部１４は、新たに処理対象関数一覧に追加された呼び出し関数について、ループ処理Ｌ１を実行する。

ループ処理Ｌ１が終了すると（すなわち、処理対象関数一覧が空になると）、コールグラフ作成部１４は、コールグラフを出力する（Ｓ４０９）。なお、複数のコールグラフエントリポイントが入力された場合、複数のコールグラフが出力される可能性が有る。

続いて、ステップＳ４０６の詳細について説明する。図１２は、クラスの特定処理の処理手順の一例を説明するためのフローチャートである。

コールグラフ作成部１４は、図１１のステップＳ４０４において抽出した、インスタンス化クラスの一覧に含まれるクラスのそれぞれの定義から、呼び出し関数Ｙの定義を探索し（Ｓ５０１）、当該定義を含むクラスがあれば（Ｓ５０２でＹＥＳ）、当該クラスのクラス識別子を、例えば、メモリ装置１０３又は補助記憶装置１０２に記録する（Ｓ５０３）。すなわち、当該クラスが、呼び出し関数Ｙの呼び出しによって実際に（対象プログラムの実行時に）呼び出されうる関数が定義されているクラスとして特定される。

続いて、コールグラフ作成部１４は、ＤＩ解析情報一覧に含まれる各クラス識別子に係るクラスの定義の中から呼び出し関数Ｙの定義を探索し（Ｓ５０４）、当該定義を含むクラスがあれば（Ｓ５０５でＹＥＳ）、当該クラスのクラス識別子を、例えば、メモリ装置１０３又は補助記憶装置１０２に記録する（Ｓ５０６）。すなわち、当該クラスが、呼び出し関数Ｙの呼び出しによって実際に（対象プログラムの実行時に）呼び出されうる関数が定義されているクラスとして特定される。なお、ステップＳ５０６において記録対象となるクラス識別子が、ステップＳ５０３において既に記録されている場合、当該クラス識別子はステップＳ５０６において記録されなくてよい。

上述したように、本実施の形態によれば、ＤＩ機能を有するライブラリによってリフレクションなどの動的機能を用いてインスタンス化されるクラスの情報を事前に静的に取得し、コールグラフ作成時に利用することができる。したがって、従来技術では対応不能なＤＩを利用して実装されたプログラムに対しても、高い精度のコールグラフを作成することが可能となる。すなわち、本実施の形態によれば、コールグラフの作成精度を向上させることができる。

なお、本実施の形態を利用して作成したコールグラフを、例えば、コールグラフを用いてライブラリの脆弱性のアプリケーションへの影響を判断する技術（例えば、「S. E. Ponta, H. Plate and A. Sabetta, "Beyond Metadata: Code-Centric and Usage-Based Analysis of Known Vulnerabilities in Open-Source Software," 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)」）に活用することで、より正確な判断を行うことが可能になる。

なお、本実施の形態において、処理対象関数Ｘは、第１の関数の一例である。呼び出し関数Ｙは、第２の関数の一例である。コールグラフ作成部１４は、第１の特定部、第２の特定部及び作成部の一例である。ＤＩ設定ファイル解析部１１は、第１の解析部の一例である。ＤＩ注釈解析部１２は、第２の解析部の一例である。ＤＩ定義関数解析部１３は、第３の解析部の一例である。

以上、本発明の実施の形態について詳述したが、本発明は斯かる特定の実施形態に限定されるものではなく、請求の範囲に記載された本発明の要旨の範囲内において、種々の変形・変更が可能である。

１０コールグラフ作成装置
１１ＤＩ設定ファイル解析部
１２ＤＩ注釈解析部
１３ＤＩ定義関数解析部
１４コールグラフ作成部
１００ドライブ装置
１０１記録媒体
１０２補助記憶装置
１０３メモリ装置
１０４ＣＰＵ
１０５インタフェース装置
Ｂバス

Claims

或るプログラムが含む第１の関数の定義を解析して、前記第１の関数においてインスタンス化されるクラスの一覧と、前記第１の関数が呼び出す第２の関数の一覧とを特定する第１の特定部と、
前記第２の関数ごとに、当該第２の関数の定義を含むクラスを、前記クラスの一覧から特定する第２の特定部と、
前記第１の関数及び前記第２の関数のそれぞれをノードとし、前記第１の関数のノードから前記第２の関数へのノードへのエッジを含むコールグラフを作成する作成部と、
を有することを特徴とするコールグラフ作成装置。
ＤＩ設定ファイルを解析して、ＤＩ機能を持つライブラリによってインスタンス化されるクラスの一覧を特定する第１の解析部を有し、
前記第２の特定部は、更に、前記第２の関数ごとに、当該第２の関数の定義を含むクラスを、前記第１の解析部が特定したクラスの一覧から特定する、
ことを特徴とする請求項１記載のコールグラフ作成装置。
前記或るプログラムのソースコードを解析して、前記或るプログラムが含むクラスのうち、ＤＩ設定ファイルにおいてＤＩ注釈が付与されたクラスの一覧を特定する第２の解析部を有し、
前記第２の特定部は、更に、前記第２の関数ごとに、当該第２の関数の定義を含むクラスを、前記第２の解析部が特定したクラスの一覧から特定する、
ことを特徴とする請求項１又は２記載のコールグラフ作成装置。
前記或るプログラムが含む関数の定義を解析して、ＤＩ機能を持つライブラリによってインスタンス化されるクラスを特定する第３の解析部を有し、
前記第２の特定部は、更に、前記第２の関数ごとに、当該第２の関数の定義を含むクラスを、前記第３の解析部が特定したクラスの一覧から特定する、
ことを特徴とする請求項１乃至３いずれか一項記載のコールグラフ作成装置。
或るプログラムが含む第１の関数の定義を解析して、前記第１の関数においてインスタンス化されるクラスの一覧と、前記第１の関数が呼び出す第２の関数の一覧とを特定する第１の特定手順と、
前記第２の関数ごとに、当該第２の関数の定義を含むクラスを、前記クラスの一覧から特定する第２の特定手順と、
前記第１の関数及び前記第２の関数のそれぞれをノードとし、前記第１の関数のノードから前記第２の関数へのノードへのエッジを含むコールグラフを作成する作成手順と、
をコンピュータが実行することを特徴とするコールグラフ作成方法。
請求項１乃至４いずれか一項記載のコールグラフ作成装置としてコンピュータを機能させることを特徴とするプログラム。