ホーム > 特許ランキング > 日鉄ソリューションズ株式会社
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2024142695
(43)【公開日】2024-10-11
(54)【発明の名称】情報処理装置、情報処理方法、及びプログラム
(51)【国際特許分類】
G06F 8/36 20180101AFI20241003BHJP
【ＦＩ】
G06F8/36
【審査請求】未請求
【請求項の数】7
【出願形態】ＯＬ
(21)【出願番号】P 2023054946
(22)【出願日】2023-03-30
【公序良俗違反の表示】
（特許庁注：以下のものは登録商標）
１．ＪＡＶＡ
(71)【出願人】
【識別番号】000191076
【氏名又は名称】日鉄ソリューションズ株式会社
(74)【代理人】
【識別番号】100117857
【弁理士】
【氏名又は名称】南林 薫
(72)【発明者】
【氏名】津村 耕司
(72)【発明者】
【氏名】木村 博昭
【テーマコード（参考）】
5B376
【Ｆターム（参考）】
5B376BC08
5B376BC15
5B376BC23
5B376BC31
5B376BC38
5B376BC69
5B376BC80
(57)【要約】
【課題】静的解析により対象となるソースコードのコールグラフをより好適な態様で生成可能とする。
【解決手段】一連のソースコードのうち、ソースコード中のオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおけるオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出手段と、第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ第１のソースコードとは異なる第２のソースコードと、第２のソースコードに規定された処理を呼び出すことで、第１のソースコードに規定された第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、を備え、第１のソースコードと、第２のソースコードと、実行コードと、に基づきコールグラフが生成される、情報処理装置。
【選択図】図７
【解決手段】一連のソースコードのうち、ソースコード中のオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおけるオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出手段と、第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ第１のソースコードとは異なる第２のソースコードと、第２のソースコードに規定された処理を呼び出すことで、第１のソースコードに規定された第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、を備え、第１のソースコードと、第２のソースコードと、実行コードと、に基づきコールグラフが生成される、情報処理装置。
【選択図】図７
【特許請求の範囲】
【請求項1】
解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出手段と、
前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、
を備え、
前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理装置。
前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、
を備え、
前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理装置。
【請求項2】
前記第１のソースコードに対して前記オブジェクトの生成を間接的に示すコードを追加することで、当該第１のソースコードを更新する更新手段を備え、
前記生成手段は、
前記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された前記第２のソースコードを生成し、
当該第２のソースコードに規定された処理を呼び出すことで、前記更新後の第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
前記生成手段は、
前記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された前記第２のソースコードを生成し、
当該第２のソースコードに規定された処理を呼び出すことで、前記更新後の第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
【請求項3】
前記オブジェクトの生成を間接的に示すコードは、前記第２のソースコードに規定されたクラスの抽象クラスに既定された処理を呼び出すコードであり、
前記クラスは、前記抽象クラスを継承するように、前記第２のソースコードに規定される、
請求項２に記載の情報処理装置。
前記クラスは、前記抽象クラスを継承するように、前記第２のソースコードに規定される、
請求項２に記載の情報処理装置。
【請求項4】
前記生成手段は、
前記オブジェクトに対応する第２のフィールドと、当該オブジェクトを生成して当該第２のフィールドに保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該オブジェクトを返却するコードと、が規定された前記第２のソースコードを生成し、
前記第２のソースコードに規定された処理により生成された前記オブジェクトを呼び出し、当該オブジェクトの処理として前記第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
前記オブジェクトに対応する第２のフィールドと、当該オブジェクトを生成して当該第２のフィールドに保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該オブジェクトを返却するコードと、が規定された前記第２のソースコードを生成し、
前記第２のソースコードに規定された処理により生成された前記オブジェクトを呼び出し、当該オブジェクトの処理として前記第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
【請求項5】
前記生成手段は、
第１のオブジェクトの前記第１のフィールドが規定された前記第１のソースコードと、当該第１のソースコードとは管理単位が異なり、かつ当該第１のソースコードに依存して規定される第２のオブジェクトの第２のフィールドが規定された第３のソースコードと、が抽出された場合に、
前記第２のオブジェクトに対応する第３のフィールドと、当該第２のオブジェクトを生成して当該第３のフィールドに保持するコードと、呼び出しに応じて当該第３のフィールドに保持された当該第２のオブジェクトを返却するコードと、が規定された第４のソースコードと、
前記第１のオブジェクトに対応する前記第２のフィールドと、前記第４のソースコードに規定された前記第３のフィールドに保持された前記第２のオブジェクトを返却するコードの呼び出しに基づき当該第２のフィールドに対して前記第２のオブジェクトを前記第１のオブジェクトとして保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該第１のオブジェクトを返却するコードと、が規定された前記第２のソースコードと、
前記第２のソースコードに規定された処理により生成されたオブジェクトを呼び出し、当該オブジェクトの処理として、前記第１のソースコードに規定された処理と、前記第３のソースコードに規定された処理と、を呼び出す、前記実行コードと、
を生成する、
請求項４に記載の情報処理装置。
第１のオブジェクトの前記第１のフィールドが規定された前記第１のソースコードと、当該第１のソースコードとは管理単位が異なり、かつ当該第１のソースコードに依存して規定される第２のオブジェクトの第２のフィールドが規定された第３のソースコードと、が抽出された場合に、
前記第２のオブジェクトに対応する第３のフィールドと、当該第２のオブジェクトを生成して当該第３のフィールドに保持するコードと、呼び出しに応じて当該第３のフィールドに保持された当該第２のオブジェクトを返却するコードと、が規定された第４のソースコードと、
前記第１のオブジェクトに対応する前記第２のフィールドと、前記第４のソースコードに規定された前記第３のフィールドに保持された前記第２のオブジェクトを返却するコードの呼び出しに基づき当該第２のフィールドに対して前記第２のオブジェクトを前記第１のオブジェクトとして保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該第１のオブジェクトを返却するコードと、が規定された前記第２のソースコードと、
前記第２のソースコードに規定された処理により生成されたオブジェクトを呼び出し、当該オブジェクトの処理として、前記第１のソースコードに規定された処理と、前記第３のソースコードに規定された処理と、を呼び出す、前記実行コードと、
を生成する、
請求項４に記載の情報処理装置。
【請求項6】
情報処理装置が実行する情報処理方法であって、
解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、
前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、
を含み、
前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理方法。
解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、
前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、
を含み、
前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理方法。
【請求項7】
コンピュータに、
解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、
前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、
を実行させ、
前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
プログラム。
解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、
前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、
を実行させ、
前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
プログラム。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、情報処理装置、情報処理方法、及びプログラムに関する。
【背景技術】
【0002】
プログラムの開発や保守に際して、対象となるプログラムを理解するために、当該プログラムにソースコード解析を施したうえで、当該解析の結果を利用する場合がある。このようなソースコード解析の手法の１つとして、プログラム中で生成されたオブジェクトがどのように伝搬していくかを解析する、ポインタ解析と称される手法が知られている。ポインタ解析の結果として出力されるデータとしては、例えば、コールグラフと称されるオブジェクト間の呼び出し関係を示したデータが知られている。
【0003】
また、近年では、プログラム開発を効率よく行うために、アプリケーションフレームワークとも称される、数多くの再利用可能なプログラム部品を有するテンプレートを利用するケースが増えている。
【先行技術文献】
【特許文献】
【0004】
【特許文献1】国際公開第２０２２／１２３７６３号
【発明の概要】
【発明が解決しようとする課題】
【0005】
一方で、アプリケーションフレームワークを利用して作成されたプログラムでは、プログラムの実行時にアプリケーションフレームワークによってオブジェクト間の依存関係が構成される。そのため、アプリケーションフレームワークを利用してプログラムが作成される場合に、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合がある。このような場合には、ポインタ解析のような所謂静的な解析手法では、正確な解析が困難な場合がある。
【0006】
上記のような課題に対して、特許文献１には、依存性の注入（ＤＩ：Ｄｅｐｅｎｄｅｎｃｙ Ｉｎｊｅｃｔｉｏｎ）に係る情報を利用して、コールグラフを生成する技術の一例が開示されている。しかしながら、特許文献１に開示された技術ではポインタ解析を行っているわけではないため、必ずしも正確なコールグラフ（より実態に即したコールグラフ）が作成されるとは限らない。
【0007】
本発明は上記の問題を鑑み、静的解析により対象となるソースコードのコールグラフをより好適な態様で生成可能とすることを目的とする。
【課題を解決するための手段】
【0008】
本発明に係る情報処理装置は、解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおけるオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出手段と、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、を備え、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される。
【発明の効果】
【0009】
本発明によれば、静的解析により対象となるソースコードのコールグラフをより好適な態様で生成することが可能となる。
【図面の簡単な説明】
【0010】
【図1】情報処理装置の機能の概要について説明するための図である。
【図2】ソースコードの更新方法の一例について説明するための図である。
【図3】情報処理装置のハードウェア構成の一例を示した図である。
【図4】情報処理装置の機能構成の一例を示した機能ブロック図である。
【図5】情報処理装置の処理の一例を示したフローチャートである。
【図6】解析対象のソースコードとそのコールグラフとの一例を示した図である。
【図7】更新対象となるソースコード及びコードの特定方法の一例を示した図である。
【図8】更新後のソースコードの一例を示した図である。
【図9】生成されるコールグラフの一例を示した図である。
【図10】解析対象のソースコードの一例を示した図である。
【図11】追加されるソースコードの一例を示した図である。
【図12】生成される実行コードの一例を示した図である。
【図13】生成されるコールグラフの一例を示した図である。
【図14A】シングルトンが適用されていない場合の一例を示した図である。
【図14B】シングルトンが適用されている場合の一例を示した図である。
【図15】シングルトンの考慮について説明するための図である。
【図16】シングルトンの適用の可否を判別する仕組みの一例を示した図である。
【図17】シングルトンの適用の可否を判別する仕組みの一例を示した図である。
【図18】ソースコードの更新方法の一例について説明するための図である。
【図19】実行コードの生成方法の一例について説明するための図である。
【発明を実施するための形態】
【0011】
以下に添付図面を参照しながら、本開示の好適な実施の形態について詳細に説明する。なお、本明細書及び図面において、実質的に同一の機能構成を有する構成要素については、同一の符号を付することにより重複説明を省略する。
【0012】
＜第１の実施形態＞
本開示の第１の実施形態に係る情報処理装置について以下に説明する。まず、図１及び図２を参照して、本実施形態に係る情報処理装置の機能の概要について説明する。
前述したように、アプリケーションフレームワークを利用して作成されたプログラム等のように、プログラムの実行時にアプリケーションフレームワークによってオブジェクト間の依存関係が構成されるものがある。このようなプログラムにおいては、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合がある。例えば、図１は、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合の一例を示している。
本開示の第１の実施形態に係る情報処理装置について以下に説明する。まず、図１及び図２を参照して、本実施形態に係る情報処理装置の機能の概要について説明する。
前述したように、アプリケーションフレームワークを利用して作成されたプログラム等のように、プログラムの実行時にアプリケーションフレームワークによってオブジェクト間の依存関係が構成されるものがある。このようなプログラムにおいては、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合がある。例えば、図１は、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合の一例を示している。
【0013】
具体的には、図１（ａ）に示すソースコードＣ１１１は、クラスＸのコード内において、クラスＢのオブジェクトのフィールドＣ１１２と、フィールドＣ１１２に保持されるオブジェクトの処理（メソッド）を呼び出すコードＣ１１３とが規定されている。図１（ｂ）は、このような前提のもとで、図１（ａ）に例示したようなソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。
一方で、プログラムを実行せずにソースコードに基づきオブジェクト間の呼び出し関係を解析するポインタ解析においては、フィールドＣ１１２に対するオブジェクトの生成が明示的に規定されていないため、同フィールドＣ１１２がＮｕｌｌとして扱われる。そのため、ポインタ解析（静的解析）によりソースコードＣ１１１のコールグラフの生成を試みた場合には、図１（ｃ）に示すような、クラスＢのオブジェクトが生成されていないことを前提とした、実態に即していないコールグラフが生成される場合がある。
一方で、プログラムを実行せずにソースコードに基づきオブジェクト間の呼び出し関係を解析するポインタ解析においては、フィールドＣ１１２に対するオブジェクトの生成が明示的に規定されていないため、同フィールドＣ１１２がＮｕｌｌとして扱われる。そのため、ポインタ解析（静的解析）によりソースコードＣ１１１のコールグラフの生成を試みた場合には、図１（ｃ）に示すような、クラスＢのオブジェクトが生成されていないことを前提とした、実態に即していないコールグラフが生成される場合がある。
【0014】
以上のような状況を鑑み、本実施形態に係る情報処理装置は、解析対象となるソースコードに対して一部修正を施すことで、当該ソースコードをポインタ解析（静的解析）用のソースコードに更新することで、より実態に即したコールグラフの生成を可能とする。例えば、図２は、本実施形態に係る情報処理装置の機能の概要を説明するための説明図である。
【0015】
図２（ａ）は、本実施形態に係る情報処理装置１００による、解析対象となるソースコードの更新結果の一例を示している。具体的には、プロジェクトＣ３３１は、解析対象となる一連のソースコードを管理するためのプロジェクト（管理単位）を模式的に示している。図２（ａ）に示す例では、プロジェクトＣ３３１に含まれる一部のソースコードに対して情報処理装置１００により修正が施された後の状態を示している。なお、図２（ａ）に示す例では、便宜上、プロジェクトＣ３３１に含まれる一連のソースコードのうち、特にポイントとなる一部のソースコードを抜粋して図示している。また、プロジェクトＣ３３２は、解析対象となるプロジェクトＣ３３１とは別に情報処理装置１００により生成されるプロジェクトを模式的に示している。プロジェクトＣ３３２には、プロジェクトＣ３３１に含まれる更新後のソースコードに規定された処理を呼び出す実行コード（所謂Ｍａｉｎクラスが規定されたコード）等が含まれる。
【0016】
フレームワークの中には、実行時にオブジェクト間の依存関係が構成される部分に対してアノテーションが付加されるものがある。本実施形態に係る情報処理装置１００は、当該アノテーションに基づき、解析対象として指定された一連のソースコードの中から、更新対象となるソースコードと、当該ソースコード中における更新対象となるコード（例えば、フィールド）とを特定する。そのうえで、情報処理装置１００は、更新対象となるコードに関する定義に基づき、当該コードに修正を施す。
【0017】
例えば、図２（ａ）に示す例では、プロジェクトＣ３３１に含まれる一部のソースコードのフィールドＣ３３５に対して、実行時にオブジェクト間の依存関係が構成されることを意味するキーワード「＠Ａｕｔｏｗｉｒｅｄ」で示されたアノテーションＣ３３３が付加されている。情報処理装置１００は、所定のアノテーションＣ３３３が付加されたソースコードを更新の対象とするソースコードとして抽出し、当該ソースコードにおいて当該アノテーションＣ３３３が示されたコードＣ３３５（フィールド）を更新の対象とするコード（換言すると、更新箇所）として特定する。そのうえで、情報処理装置１００の更新部１１２は、更新対象のコードＣ３３５の特定結果に基づき、当該コードＣ３３５が示すオブジェクトの生成を間接的に示すコードを追加する。
具体的には、情報処理装置１００は、更新対象のコードに対応する抽象クラスＣ３３４をプロジェクトＣ３３１に追加したうえで、当該抽象クラスＣ３３４に対して対象となるオブジェクトの生成処理を呼び出すコードを追加する。また、情報処理装置１００は、更新対象のコードＣ３３５に対して、生成した抽象クラスＣ３３４の上記処理を呼び出すコードを追加する。
この際に、情報処理装置１００は、例えば、生成対象とするオブジェクトを、フレームワークが管理対象となるコンポーネントとして扱うクラスに対して付加したアノテーションに基づき特定する。例えば、フィールドＣ３３５に設定されるオブジェクトは、クラスＡまたはクラスＢのオブジェクトとなる。また、図２（ａ）に示す例では、クラスＢに対して、管理対象となるコンポーネントであることを意味するキーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ３３９が付加されている。一方で、クラスＡに対しては、管理対象となるコンポーネントであることを意味するアノテーションが付加されていない。そのため、情報処理装置１００は、フィールドＣ３３５に設定されるオブジェクトが、クラスＢのオブジェクトであるものと認識し、クラスＢのオブジェクトの生成を間接的に示すコードを追加している。
具体的には、情報処理装置１００は、更新対象のコードに対応する抽象クラスＣ３３４をプロジェクトＣ３３１に追加したうえで、当該抽象クラスＣ３３４に対して対象となるオブジェクトの生成処理を呼び出すコードを追加する。また、情報処理装置１００は、更新対象のコードＣ３３５に対して、生成した抽象クラスＣ３３４の上記処理を呼び出すコードを追加する。
この際に、情報処理装置１００は、例えば、生成対象とするオブジェクトを、フレームワークが管理対象となるコンポーネントとして扱うクラスに対して付加したアノテーションに基づき特定する。例えば、フィールドＣ３３５に設定されるオブジェクトは、クラスＡまたはクラスＢのオブジェクトとなる。また、図２（ａ）に示す例では、クラスＢに対して、管理対象となるコンポーネントであることを意味するキーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ３３９が付加されている。一方で、クラスＡに対しては、管理対象となるコンポーネントであることを意味するアノテーションが付加されていない。そのため、情報処理装置１００は、フィールドＣ３３５に設定されるオブジェクトが、クラスＢのオブジェクトであるものと認識し、クラスＢのオブジェクトの生成を間接的に示すコードを追加している。
【0018】
また、情報処理装置１００は、解析対象のプロジェクトＣ３３１とは別のプロジェクトＣ３３２を生成し、当該プロジェクトＣ３３２に対して、抽象クラスＣ３３４を継承するクラスＣ３３６と、コールグラフを生成するための起点となる実行コードＣ３３７とを追加する。具体的には、情報処理装置１００は、クラスＣ３３６に対して、抽象クラスＣ３３４にて定義されたコードにより呼び出される処理のコードを追加し、当該コード内に対象となるオブジェクトの生成を直接的に示すコード（例えば、オブジェクトをｎｅｗするコード）を追加する。また、情報処理装置１００は、実行コードＣ３３７において、クラスＣ３３６のオブジェクトを生成し、当該オブジェクトの処理として、更新対象のソースコード中のコードＣ３３５が示すオブジェクトに対応付けて追加した、抽象クラスＣ３３４の処理を呼び出すコードを規定する。
なお、本開示における「継承」とは、オブジェクト指向を構成する概念の一つとして規定される継承に相当し、あるオブジェクトに他のオブジェクトの特性を引き継がせることを意味する。すなわち、本開示において継承とは、クラスの定義に係る共通部分を、別クラスにまとめることを意味する。
また、上述した要件を満たす実行コード（ソースコードＣ３３７相当のコード）を生成することが可能であれば、その方法は特に限定はされない。例えば、以下に示す参考文献に開示された手法を利用することで、上述した要件を満たす実行コードを生成することも可能である。
・参考文献：Ｊｅｎｓ Ｄｉｅｔｒｉｃｈ, Ｆｒａｎcｏｉｓ Ｇａｕｔｈｉｅｒ, ａｎｄ Ｐａｄｍａｎａｂｈａｎ Ｋｒｉｓｈｎａｎ. ２０１８. Ｄｒｉｖｅｒ Ｇｅｎｅｒａｔｉｏｎ ｆｏｒ Ｊａｖａ ＥＥ Ｗｅｂ Ａｐｐｌｉｃａｔｉｏｎｓ. Ｉｎ Ａｕｓｔｒａｌａｓｉａｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｏｎｆｅｒｅｎｃｅ （ＡＳＷＥＣ）. ＩＥＥＥ, １２１－２５.
また、他の一例として、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、上述した要件を満たす実行コードを生成することも可能である。このアノテーションを利用した実行コードの生成方法については、本実施形態の変形例として詳細を別途後述する。
なお、図２（ａ）において、実行時にオブジェクト間の依存関係が構成されることを意味するキーワード「＠Ａｕｔｏｗｉｒｅｄ」で示しされたアノテーションＣ３３３が、オブジェクトの生成を示唆する「第１のアノテーション」の一例に相当する。すなわち、同アノテーションＣ３３３が付加されたソースコード、すなわち更新対象となるソースコードが、「第１のソースコード」の一例に相当する。アノテーションＣ３３３により生成が示唆されたオブジェクトが、「第１のオブジェクト」の一例に相当し、第１のソースコード内における第１のオブジェクトに対応するフィールド（コードＣ３３５に対応するフィールド）が、「第１のフィールド」の一例に相当する。
なお、本開示における「継承」とは、オブジェクト指向を構成する概念の一つとして規定される継承に相当し、あるオブジェクトに他のオブジェクトの特性を引き継がせることを意味する。すなわち、本開示において継承とは、クラスの定義に係る共通部分を、別クラスにまとめることを意味する。
また、上述した要件を満たす実行コード（ソースコードＣ３３７相当のコード）を生成することが可能であれば、その方法は特に限定はされない。例えば、以下に示す参考文献に開示された手法を利用することで、上述した要件を満たす実行コードを生成することも可能である。
・参考文献：Ｊｅｎｓ Ｄｉｅｔｒｉｃｈ, Ｆｒａｎcｏｉｓ Ｇａｕｔｈｉｅｒ, ａｎｄ Ｐａｄｍａｎａｂｈａｎ Ｋｒｉｓｈｎａｎ. ２０１８. Ｄｒｉｖｅｒ Ｇｅｎｅｒａｔｉｏｎ ｆｏｒ Ｊａｖａ ＥＥ Ｗｅｂ Ａｐｐｌｉｃａｔｉｏｎｓ. Ｉｎ Ａｕｓｔｒａｌａｓｉａｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｏｎｆｅｒｅｎｃｅ （ＡＳＷＥＣ）. ＩＥＥＥ, １２１－２５.
また、他の一例として、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、上述した要件を満たす実行コードを生成することも可能である。このアノテーションを利用した実行コードの生成方法については、本実施形態の変形例として詳細を別途後述する。
なお、図２（ａ）において、実行時にオブジェクト間の依存関係が構成されることを意味するキーワード「＠Ａｕｔｏｗｉｒｅｄ」で示しされたアノテーションＣ３３３が、オブジェクトの生成を示唆する「第１のアノテーション」の一例に相当する。すなわち、同アノテーションＣ３３３が付加されたソースコード、すなわち更新対象となるソースコードが、「第１のソースコード」の一例に相当する。アノテーションＣ３３３により生成が示唆されたオブジェクトが、「第１のオブジェクト」の一例に相当し、第１のソースコード内における第１のオブジェクトに対応するフィールド（コードＣ３３５に対応するフィールド）が、「第１のフィールド」の一例に相当する。
【0019】
なお、アノテーションＣ３３３として付加されるキーワードについては、適用されるフレームワークに応じて異なる場合がある。そのため、情報処理装置１００は、適用されるフレームワークに応じて、アノテーションＣ３３３として抽出するキーワードを適宜変更してもよい。また、情報処理装置１００が、適用されるフレームワークを識別することが可能であれば、その方法についても特に限定はされない。具体的な一例として、情報処理装置１００は、ユーザからの指示に応じて適用されるフレームワークを認識し、当該フレームワークに応じてアノテーションＣ３３３として抽出するキーワードを変更してもよい。また、他の一例として、情報処理装置１００は、解析対象として指定されたソースコードに含まれる情報や、当該ソースコードに紐付けられた設定ファイル等を解析することで、適用されるフレームワークを認識してもよい。
【0020】
図２（ｂ）は、更新前のソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。また、図２（ｃ）は、図２（ａ）に示した更新後のソースコードを対象としたポインタ解析（静的解析）により生成されるコールグラフの一例を示している。図２（ｂ）と図２（ｃ）とを比較するとわかるように、コールグラフ全体としては異なるものの、図２（ｃ）に示すコールグラフには、部分的なコールグラフＣ３３８として、図２（ｂ）に示すコールグラフと実質的に同様のコールグラフが含まれる。すなわち、図２（ｃ）に示すコールグラフには、本来想定されるコールグラフと実質的に同様のコールグラフＣ３３８と、分析のために追加されたコードに基づき生成されるコールグラフとが含まれることとなる。このような前提のもとで、例えば、図２（ｃ）に示す一連のコールグラフから、パッケージ名等を抽出条件として、解析対象のソースコードのコールグラフを抽出することで、ポインタ解析を利用する状況下においても、実態に即したコールグラフ（すなわち、コールグラフＣ３３８）を生成することが可能となる。なお、以降では、本実施形態に係る情報処理装置１００について、より詳しく説明をする。
【0021】
（ハードウェア構成）
図３を参照して、本実施形態に係る情報処理装置のハードウェア構成の一例について説明する。図１に示すように、本実施形態に係る情報処理装置１００は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）９１０と、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）９２０と、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）９３０とを含む。また、情報処理装置１００は、補助記憶装置９４０と、ネットワークＩ／Ｆ９７０とを含む。また、情報処理装置１００は、出力装置９５０と、入力装置９６０とのうち少なくともいずれかを含んでもよい。ＣＰＵ９１０と、ＲＯＭ９２０と、ＲＡＭ９３０と、補助記憶装置９４０と、出力装置９５０と、入力装置９６０と、ネットワークＩ／Ｆ９７０とは、バス９８０を介して相互に接続されている。
図３を参照して、本実施形態に係る情報処理装置のハードウェア構成の一例について説明する。図１に示すように、本実施形態に係る情報処理装置１００は、ＣＰＵ（Ｃｅｎｔｒａｌ Ｐｒｏｃｅｓｓｉｎｇ Ｕｎｉｔ）９１０と、ＲＯＭ（Ｒｅａｄ Ｏｎｌｙ Ｍｅｍｏｒｙ）９２０と、ＲＡＭ（Ｒａｎｄｏｍ Ａｃｃｅｓｓ Ｍｅｍｏｒｙ）９３０とを含む。また、情報処理装置１００は、補助記憶装置９４０と、ネットワークＩ／Ｆ９７０とを含む。また、情報処理装置１００は、出力装置９５０と、入力装置９６０とのうち少なくともいずれかを含んでもよい。ＣＰＵ９１０と、ＲＯＭ９２０と、ＲＡＭ９３０と、補助記憶装置９４０と、出力装置９５０と、入力装置９６０と、ネットワークＩ／Ｆ９７０とは、バス９８０を介して相互に接続されている。
【0022】
ＣＰＵ９１０は、情報処理装置１００の各種動作を制御する中央演算装置である。例えば、ＣＰＵ９１０は、情報処理装置１００全体の動作を制御してもよい。ＲＯＭ９２０は、ＣＰＵ９１０で実行可能な制御プログラムやブートプログラム等を記憶する。ＲＡＭ９３０は、ＣＰＵ９１０の主記憶メモリであり、ワークエリア又は各種プログラムを展開するための一時記憶領域として用いられる。
【0023】
補助記憶装置９４０は、各種データや各種プログラムを記憶する。補助記憶装置９４０は、ＨＤＤ（Ｈａｒｄ Ｄｉｓｋ Ｄｒｉｖｅ）や、ＳＳＤ（Ｓｏｌｉｄ Ｓｔａｔｅ Ｄｒｉｖｅ）に代表される不揮発性メモリ等のような、各種データを一時的または持続的に記憶可能な記憶デバイスにより実現される。
【0024】
出力装置９５０は、各種情報を出力する装置であり、ユーザに対する各種情報の提示に利用される。例えば、出力装置９５０は、ディスプレイ等の表示デバイスにより実現され得る。この場合には、出力装置９５０は、各種表示情報を表示させることで、ユーザに対して情報を提示する。また、他の一例として、出力装置９５０は、音声や電子音等の音を出力する音響出力デバイスにより実現されてもよい。この場合には、出力装置９５０は、音声や電信等の音を出力することで、ユーザに対して情報を提示する。また、出力装置９５０として適用されるデバイスは、ユーザに対して情報を提示するために利用する媒体に応じて適宜変更されてもよい。
【0025】
入力装置９６０は、ユーザからの各種指示の受け付けに利用される。本実施形態では、入力装置９６０は、マウス、キーボード、タッチパネル等の入力デバイスを含む。また、他の一例として、入力装置９６０は、マイクロフォン等の集音デバイスを含み、ユーザが発話した音声を集音してもよい。この場合には、集音された音声に対して音響解析や自然言語処理等の各種解析処理が施されることで、この音声が示す内容がユーザからの指示として認識される。また、入力装置９６０として適用されるデバイスは、ユーザからの指示を認識する方法に応じて適宜変更されてもよい。また、入力装置９６０として複数種類のデバイスが適用されてもよい。
【0026】
ネットワークＩ／Ｆ９７０は、外部の装置とのネットワークを介した通信に利用される。なお、ネットワークＩ／Ｆ９７０として適用されるデバイスは、通信経路の種別や適用される通信方式に応じて適宜変更されてもよい。
【0027】
ＣＰＵ９１０が、ＲＯＭ２２０または補助記憶装置９４０に記憶されたプログラムをＲＡＭ９３０に展開し、このプログラムを実行することで、図４を参照して後述する情報処理装置の機能構成や、図５を参照して後述する情報処理装置の処理等が実現される。
【0028】
（機能構成）
図４を参照して、本実施形態に係る情報処理装置１００の機能構成の一例について説明する。図４に示すように、本実施形態に係る情報処理装置１００は、制御部１１０と、コールグラフ生成部１２０とを含む。
図４を参照して、本実施形態に係る情報処理装置１００の機能構成の一例について説明する。図４に示すように、本実施形態に係る情報処理装置１００は、制御部１１０と、コールグラフ生成部１２０とを含む。
【0029】
制御部１１０は、解析対象となる一連のソースコードＤ２１０の入力を受け付け、当該ソースコードＤ２１０に対して図２を参照して説明した更新を施したうえで、更新後のソースコードＤ２２０を所定の出力先に出力する。具体的には、制御部１１０は、解析部１１１と、更新部１１２とを含む。
【0030】
解析部１１１は、解析対象となる一連のソースコードＤ２１０に対して所定の解析を施すことで、一連のソースコードＤ２１０の中から、コールグラフを生成するための処理の対象となるソースコードと、当該ソースコード中の当該処理の対象となるコードとを特定する。例えば、本実施形態の場合には、解析部１１１は、解析対象となる一連のソースコードＤ２１０に対して所定の解析を施すことで、更新の対象となるソースコードや、当該ソースコード中の更新の対象となるコードを特定する。
具体的な一例として、解析部１１１は、図２（ａ）を参照して説明したように、所定のアノテーションが付加されたソースコードを更新の対象とするソースコードとして抽出し、当該ソースコードにおいて当該アノテーションが示されたコードを更新の対象とするコードとして特定してもよい。
また、他の一例として、解析部１１１は、解析対象となる一連のソースコードＤ２１０に関連付けられた、ソースコードごとに生成対象となるオブジェクトや、当該オブジェクトが保持されるフィールドについて規定された設定ファイルに基づき、更新の対象とするソースコードを抽出してもよい。この場合には、解析部１１１は、当該設定ファイルにおける、生成対象となるオブジェクトや、当該オブジェクトが保持されるフィールドの規定に基づき、抽出したソースコードにおける更新の対象とするコードを特定してもよい。なお、当該設定ファイルに基づき、更新の対象とするソースコードの抽出や、当該ソースコードにおける更新の対象とするコードの特定方法の一例については、図７を参照して詳細を別途後述する。
また、解析部１１１は、解析対象となる一連のソースコードＤ２１０と依存関係のある、当該一連のソースコードＤ２１０に含まれてない他のソースコードが存在する場合には、当該他のソースコードについても解析対象に含めてもよい。具体的な一例として、解析部１１１は、プロジェクト等のようなソースコードの管理に利用される管理単位により解析対象となる一連のソースコードが指定された場合に、設定ファイル等を利用して当該管理単位間の依存関係を特定してもよい。そのうえで、解析部１１１は、解析対象として指定された管理単位と依存関係のある他の管理単位が解析対象に含まれていない場合に、当該他の管理単位についても解析対象に含めてもよい。
具体的な一例として、解析部１１１は、図２（ａ）を参照して説明したように、所定のアノテーションが付加されたソースコードを更新の対象とするソースコードとして抽出し、当該ソースコードにおいて当該アノテーションが示されたコードを更新の対象とするコードとして特定してもよい。
また、他の一例として、解析部１１１は、解析対象となる一連のソースコードＤ２１０に関連付けられた、ソースコードごとに生成対象となるオブジェクトや、当該オブジェクトが保持されるフィールドについて規定された設定ファイルに基づき、更新の対象とするソースコードを抽出してもよい。この場合には、解析部１１１は、当該設定ファイルにおける、生成対象となるオブジェクトや、当該オブジェクトが保持されるフィールドの規定に基づき、抽出したソースコードにおける更新の対象とするコードを特定してもよい。なお、当該設定ファイルに基づき、更新の対象とするソースコードの抽出や、当該ソースコードにおける更新の対象とするコードの特定方法の一例については、図７を参照して詳細を別途後述する。
また、解析部１１１は、解析対象となる一連のソースコードＤ２１０と依存関係のある、当該一連のソースコードＤ２１０に含まれてない他のソースコードが存在する場合には、当該他のソースコードについても解析対象に含めてもよい。具体的な一例として、解析部１１１は、プロジェクト等のようなソースコードの管理に利用される管理単位により解析対象となる一連のソースコードが指定された場合に、設定ファイル等を利用して当該管理単位間の依存関係を特定してもよい。そのうえで、解析部１１１は、解析対象として指定された管理単位と依存関係のある他の管理単位が解析対象に含まれていない場合に、当該他の管理単位についても解析対象に含めてもよい。
【0031】
更新部１１２は、解析部１１１による対象となるソースコード及び当該ソースコード中のコードの特定結果に基づき、一連のソースコードＤ２１０を対象としてコールグラフを生成するためのソースコードの生成や更新に係る処理を実行する。
例えば、更新部１１２は、解析部１１１による更新対象となる第１のソースコード及び当該第１のソースコード中のコードの特定結果に基づき、当該第１のソースコードに対して図２（ａ）を参照して説明したように、オブジェクトの生成を間接的に示すコードを追加する更新を行う。また、更新部１１２は、更新対象となる第１のソースコードとは異なる他のソースコードとして、上記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成する。そのうえで、更新部１１２は、解析対象の第１のソースコードの更新結果と、上記第２のソースコードの生成結果とを踏まえ、少なくとも当該第１のソースコードを対象としてコールグラフを生成するための起点となる実行コード（所謂Ｍａｉｎクラスが規定されたコード）を生成する。具体的には、更新部１１２は、図２（ａ）を参照して説明したように、第２のソースコードに規定された処理を呼び出すことで、更新後の第１のソースコードに規定された処理が呼び出されるように、上記実行コードを生成する。なお、この際に、更新部１１２は、上記第２のソースコードと上記実行コードとを、更新対象の第１のソースコードを管理するためのプロジェクト（管理単位）とは異なるプロジェクトに関連付けて管理してもよい。
そして、更新部１１２は、更新後の第１のソースコードを含む解析対象となる一連のソースコードと、生成した第２のソースコード及び実行コードとを、コールグラフを生成するための一連のソースコードＤ２２０として所定の出力先に出力する。例えば、図４に示す例では、更新部１１２は、コールグラフを生成するための一連のソースコードＤ２２０を、後述するコールグラフ生成部１２０に出力している。
例えば、更新部１１２は、解析部１１１による更新対象となる第１のソースコード及び当該第１のソースコード中のコードの特定結果に基づき、当該第１のソースコードに対して図２（ａ）を参照して説明したように、オブジェクトの生成を間接的に示すコードを追加する更新を行う。また、更新部１１２は、更新対象となる第１のソースコードとは異なる他のソースコードとして、上記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成する。そのうえで、更新部１１２は、解析対象の第１のソースコードの更新結果と、上記第２のソースコードの生成結果とを踏まえ、少なくとも当該第１のソースコードを対象としてコールグラフを生成するための起点となる実行コード（所謂Ｍａｉｎクラスが規定されたコード）を生成する。具体的には、更新部１１２は、図２（ａ）を参照して説明したように、第２のソースコードに規定された処理を呼び出すことで、更新後の第１のソースコードに規定された処理が呼び出されるように、上記実行コードを生成する。なお、この際に、更新部１１２は、上記第２のソースコードと上記実行コードとを、更新対象の第１のソースコードを管理するためのプロジェクト（管理単位）とは異なるプロジェクトに関連付けて管理してもよい。
そして、更新部１１２は、更新後の第１のソースコードを含む解析対象となる一連のソースコードと、生成した第２のソースコード及び実行コードとを、コールグラフを生成するための一連のソースコードＤ２２０として所定の出力先に出力する。例えば、図４に示す例では、更新部１１２は、コールグラフを生成するための一連のソースコードＤ２２０を、後述するコールグラフ生成部１２０に出力している。
【0032】
コールグラフ生成部１２０は、制御部１１０から出力される、コールグラフを生成するための一連のソースコードＤ２２０を対象として、所謂ポインタ解析のような静的解析によりコールグラフを生成する。なお、ソースコードを解析することで所謂コールグラフを生成することが可能であれば、その方法（例えば、ソースコードの解析方法）については特に限定はされない。すなわち、コールグラフの生成に公知のロジックが適用されてもよい。そのため、例えば、入力された一連のソースコードを分析してコールグラフを生成する公知のツールが、コールグラフ生成部１２０として適用されてもよい。以上のようにして、コールグラフ生成部１２０は、一連のソースコードＤ２２０を入力としてコールグラフＤ２３０を生成し、生成した当該コールグラフＤ２３０を所定の出力先に出力する。
【0033】
なお、図４に示す構成はあくまで一例であり、必ずしも本実施形態に係る情報処理装置１００の機能構成を限定するものではない。
例えば、図４に示した一連の構成要素が、複数の装置が協働することで実現されてもよい。具体的な一例として、コールグラフ生成部１２０に相当する構成要素が、情報処理装置１００以外の他の装置により実現されてもよい。この場合には、制御部１１０を含む情報処理装置１００は、コールグラフを生成するための一連のソースコードＤ２２０を、ネットワークを介して接続された当該他の装置に送信してもよい。また、他の一例として、制御部１１０は、コールグラフを生成するための一連のソースコードＤ２２０を、所定の記憶装置（例えば、データ管理のためのサーバ等）に出力してもよい。この場合には、コールグラフ生成部１２０を含む他の装置は、当該記憶装置からコールグラフの生成対象となる一連のソースコードを取得してもよい。
また、他の一例として、図４に示した一連の構成要素のうち、少なくとも一部の構成要素の処理負荷が複数の装置に分散されてもよい。
また、図４に示した一連の構成要素のうち、少なくとも一部の構成要素が、クラウドサービスのような所謂ネットワークサービスにより実現されてもよい。
例えば、図４に示した一連の構成要素が、複数の装置が協働することで実現されてもよい。具体的な一例として、コールグラフ生成部１２０に相当する構成要素が、情報処理装置１００以外の他の装置により実現されてもよい。この場合には、制御部１１０を含む情報処理装置１００は、コールグラフを生成するための一連のソースコードＤ２２０を、ネットワークを介して接続された当該他の装置に送信してもよい。また、他の一例として、制御部１１０は、コールグラフを生成するための一連のソースコードＤ２２０を、所定の記憶装置（例えば、データ管理のためのサーバ等）に出力してもよい。この場合には、コールグラフ生成部１２０を含む他の装置は、当該記憶装置からコールグラフの生成対象となる一連のソースコードを取得してもよい。
また、他の一例として、図４に示した一連の構成要素のうち、少なくとも一部の構成要素の処理負荷が複数の装置に分散されてもよい。
また、図４に示した一連の構成要素のうち、少なくとも一部の構成要素が、クラウドサービスのような所謂ネットワークサービスにより実現されてもよい。
【0034】
（処理）
図５を参照して、本実施形態に係る情報処理装置１００の処理の一例について説明する。
Ｓ１１０において、制御部１１０は、解析対象となる一連のソースコードＤ２１０の入力を受け付ける。また、このとき制御部１１０は、解析対象となる一連のソースコードＤ２１０と依存関係を有する他のソースコードが存在するか否かを確認し、当該他のソースコードを解析対象に含めてもよい。
図５を参照して、本実施形態に係る情報処理装置１００の処理の一例について説明する。
Ｓ１１０において、制御部１１０は、解析対象となる一連のソースコードＤ２１０の入力を受け付ける。また、このとき制御部１１０は、解析対象となる一連のソースコードＤ２１０と依存関係を有する他のソースコードが存在するか否かを確認し、当該他のソースコードを解析対象に含めてもよい。
【0035】
Ｓ１２０において、解析部１１１は、Ｓ１１０に解析対象として入力を受け付けた一連のソースコードＤ２１０に対して所定の解析処理を施すことで、更新対象となるソースコードと、当該ソースコード中の更新箇所（すなわち、更新対象となるコード）とを特定する。具体的な一例として、解析部１１１は、所定のアノテーションＣ３３３が付加されたソースコードを更新対象の第１のソースコードとして抽出し、当該第１のソースコード中の当該アノテーションＣ３３３が示されたコードを更新箇所として特定してもよい。
【0036】
Ｓ１３０において、更新部１１２は、Ｓ１２０における更新対象となる第１のソースコード及び更新箇所の特定結果に基づき、当該第１のソースコードに対して更新箇所に示されたコードに対応するオブジェクトの生成を間接的に示すコードを追加することで、当該第１のソースコードを更新する。また、更新部１１２は、更新対象となる第１のソースコードとは異なる他のソースコードとして、上記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成する。そのうえで、更新部１１２は、解析対象の第１のソースコードの更新結果と、上記第２のソースコードの生成結果とを踏まえ、少なくとも当該第１のソースコードを対象としてコールグラフを生成するための起点となる実行コードを生成する。そして、更新部１１２は、更新後の第１のソースコードを含む解析対象となる一連のソースコードと、生成した第２のソースコード及び実行コードとを、コールグラフを生成するための一連のソースコードとして所定の出力先に出力する。
以上のようにして、更新部１１２から出力された一連のソースコードは、例えば、コールグラフ生成部１２０によるコールグラフの生成に利用される。
以上のようにして、更新部１１２から出力された一連のソースコードは、例えば、コールグラフ生成部１２０によるコールグラフの生成に利用される。
【0037】
（変形例）
本実施形態の変形例として、情報処理装置１００が実行コードの生成に際して、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、当該実行コード内で呼び出す処理を特定する方法の一例について説明する。例えば、図１９は、本変形例に係る情報処理装置の機能の概要について説明するための説明図である。なお、図１９に示す例では、説明に使用する一部のソースコードを対象として図示しており、他のソースコードについては図示を省略している。
本実施形態の変形例として、情報処理装置１００が実行コードの生成に際して、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、当該実行コード内で呼び出す処理を特定する方法の一例について説明する。例えば、図１９は、本変形例に係る情報処理装置の機能の概要について説明するための説明図である。なお、図１９に示す例では、説明に使用する一部のソースコードを対象として図示しており、他のソースコードについては図示を省略している。
【0038】
図１９（ａ）に示すソースコードＣ３５１は、解析対象となるソースコードの一例を示している。ソースコードＣ３５１では、図１（ａ）に例示したソースコードＣ１１１と同様に、クラスＸのコード内において、クラスＢのオブジェクトのフィールドＣ３５４と、フィールドＣ３５４に保持されるオブジェクトの処理（メソッド）を呼び出すコードＣ３５８とが規定されている。
また、上記クラスＸには、「＠Ｃｏｎｔｒｏｌｌｅｒ」で示されたアノテーションＣ３５５が付加されている。このアノテーションＣ３５５は、アプリケーションの実行の起点となるクラスに付与されるアノテーションであり、例えば、ＨＴＴＰリクエストに対して最初に呼び出されるクラスに付与され得る。
また、上記コードＣ３５８には、キーワード「＠ＲｅｑｕｅｓｔＭａｐｐｉｎｇ」で示されたアノテーションＣ３５６が付加されている。このアノテーションＣ３５６は、アノテーションＣ３５５に関連付けて規定されており、ＨＴＴＰリクエストを受け取って処理するメソッドに対して付加され、どのＨＴＴＰメソッドのリクエストを処理するかが「ｍｅｔｈｏｄ」属性により指定される。また、アノテーションＣ３５６と同様に、どのＨＴＴＰメソッドのリクエストを処理するかを指定可能な他のアノテーションとして、キーワード「＠ＧｅｔＭａｐｐｉｎｇ」、「＠ＰｏｓｔＭａｐｐｉｎｇ」、「＠ＰｕｔＭａｐｐｉｎｇ」、「＠ＤｅｌｅｔｅＭａｐｐｉｎｇ」、及び「＠ＰａｔｃｈＭａｐｐｉｎｇ」等で示されるアノテーションが挙げられる。本変形例では、これらのアノテーションについても、アノテーションＣ３５６と同様に扱うものとする。
なお、＠Ｃｏｎｔｒｏｌｌｅｒアノテーションは、＠Ｃｏｍｐｏｎｅｎｔアノテーションを内包するアノテーションである。すなわち、＠Ｃｏｎｔｒｏｌｌｅｒアノテーションが付与されたクラスＸも、コンポーネントとして管理対象となる。
また、上記クラスＸには、「＠Ｃｏｎｔｒｏｌｌｅｒ」で示されたアノテーションＣ３５５が付加されている。このアノテーションＣ３５５は、アプリケーションの実行の起点となるクラスに付与されるアノテーションであり、例えば、ＨＴＴＰリクエストに対して最初に呼び出されるクラスに付与され得る。
また、上記コードＣ３５８には、キーワード「＠ＲｅｑｕｅｓｔＭａｐｐｉｎｇ」で示されたアノテーションＣ３５６が付加されている。このアノテーションＣ３５６は、アノテーションＣ３５５に関連付けて規定されており、ＨＴＴＰリクエストを受け取って処理するメソッドに対して付加され、どのＨＴＴＰメソッドのリクエストを処理するかが「ｍｅｔｈｏｄ」属性により指定される。また、アノテーションＣ３５６と同様に、どのＨＴＴＰメソッドのリクエストを処理するかを指定可能な他のアノテーションとして、キーワード「＠ＧｅｔＭａｐｐｉｎｇ」、「＠ＰｏｓｔＭａｐｐｉｎｇ」、「＠ＰｕｔＭａｐｐｉｎｇ」、「＠ＤｅｌｅｔｅＭａｐｐｉｎｇ」、及び「＠ＰａｔｃｈＭａｐｐｉｎｇ」等で示されるアノテーションが挙げられる。本変形例では、これらのアノテーションについても、アノテーションＣ３５６と同様に扱うものとする。
なお、＠Ｃｏｎｔｒｏｌｌｅｒアノテーションは、＠Ｃｏｍｐｏｎｅｎｔアノテーションを内包するアノテーションである。すなわち、＠Ｃｏｎｔｒｏｌｌｅｒアノテーションが付与されたクラスＸも、コンポーネントとして管理対象となる。
【0039】
図１９（ｂ）は、本変形例に係る情報処理装置１００による、解析対象となるソースコードの更新結果の一例を示している。具体的には、ソースコードＣ３５２は、解析対象のソースコードに対して情報処理装置１００により修正が施されることで更新された後の、当該ソースコードの一例を示している。また、ソースコードＣ３５３は、更新後のソースコードＣ３５２に規定された処理を呼び出す実行コードである。
【0040】
ソースコードＣ３５２では、図１及び図２を参照して説明した例と同様に、フィールドＣ３５４に対して、クラスＢのオブジェクトの生成を間接的に示すコードが追加されることで更新がなされている。なお、ソースコードＣ３５１をソースコードＣ３５２に更新する方法については、図１及び図２を参照して説明した例と同様のため、詳細な説明は省略する。
【0041】
また、本変形例に係る情報処理装置１００は、実行コードＣ３５３の生成に際して、アノテーションＣ３５５及びＣ３５６に基づき、当該実行コードＣ３５３にて呼び出す処理を特定する。
具体的には、情報処理装置１００は、解析対象となるソースコードＣ３５１に付加されたアノテーションＣ３５５に基づき、処理の呼び出し対象となるクラスを特定する。図１９に示す例の場合には、情報処理装置１００は、クラスＸを対象として特定することとなる。
次いで、情報処理装置１００は、解析対象となるソースコードＣ３５１に付加されたアノテーションＣ３５６に基づき、対象として特定したクラスの一連の処理のうち、実行コードにて呼び出す処理を特定する。例えば、図１９に示す例では、クラスＸにおいてコードＣ３５８により示された処理に対してアノテーションＣ３５６が付加されている。そのため、情報処理装置１００は、クラスＸのオブジェクトの処理として、コードＣ３５８により示された処理が呼び出されるように、実行コードＣ３５３を生成する。
具体的には、情報処理装置１００は、解析対象となるソースコードＣ３５１に付加されたアノテーションＣ３５５に基づき、処理の呼び出し対象となるクラスを特定する。図１９に示す例の場合には、情報処理装置１００は、クラスＸを対象として特定することとなる。
次いで、情報処理装置１００は、解析対象となるソースコードＣ３５１に付加されたアノテーションＣ３５６に基づき、対象として特定したクラスの一連の処理のうち、実行コードにて呼び出す処理を特定する。例えば、図１９に示す例では、クラスＸにおいてコードＣ３５８により示された処理に対してアノテーションＣ３５６が付加されている。そのため、情報処理装置１００は、クラスＸのオブジェクトの処理として、コードＣ３５８により示された処理が呼び出されるように、実行コードＣ３５３を生成する。
【0042】
以上、本実施形態の変形例として、情報処理装置１００が実行コードの生成に際して、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、当該実行コード内で呼び出す処理を特定する方法の一例について説明した。
【0043】
（作用効果）
以上説明したように、本実施形態に係る情報処理装置１００は、解析対象となる一連のソースコードから、更新対象となる第１のソースコードと、当該第１のソースコード中の更新対象となるコードとを特定する。例えば、情報処理装置１００は、所定のアノテーションが付加されたソースコードを更新対象となる第１のソースコードとして抽出し、当該アノテーションが付加されたコードを更新箇所として特定してもよい。そのうえで、情報処理装置１００は、更新対象となる第１のソースコード中の特定した更新箇所に対して、当該更新箇所に示されたコード（例えば、フィールド）に、当該コードに対応するオブジェクトの生成を間接的に示すコードを追加することで当該第１のソースコードを更新する。また、情報処理装置１００は、更新対象となる第１のソースコードとは異なる他のソースコードとして、上記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成する。そのうえで、情報処理装置１００は、解析対象の第１のソースコードの更新結果と、上記第２のソースコードの生成結果とを踏まえ、少なくとも当該第１のソースコードを対象としてコールグラフを生成するための起点となる実行コードを生成する。そして、情報処理装置１００は、更新後の第１のソースコードを含む解析対象となる一連のソースコードと、生成した第２のソースコード及び実行コードとを、コールグラフを生成するための一連のソースコードとして所定の出力先に出力する。以上のようにして生成された一連のソースコードを利用することで、図２を参照して説明したように、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成することが可能となる。
以上説明したように、本実施形態に係る情報処理装置１００は、解析対象となる一連のソースコードから、更新対象となる第１のソースコードと、当該第１のソースコード中の更新対象となるコードとを特定する。例えば、情報処理装置１００は、所定のアノテーションが付加されたソースコードを更新対象となる第１のソースコードとして抽出し、当該アノテーションが付加されたコードを更新箇所として特定してもよい。そのうえで、情報処理装置１００は、更新対象となる第１のソースコード中の特定した更新箇所に対して、当該更新箇所に示されたコード（例えば、フィールド）に、当該コードに対応するオブジェクトの生成を間接的に示すコードを追加することで当該第１のソースコードを更新する。また、情報処理装置１００は、更新対象となる第１のソースコードとは異なる他のソースコードとして、上記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成する。そのうえで、情報処理装置１００は、解析対象の第１のソースコードの更新結果と、上記第２のソースコードの生成結果とを踏まえ、少なくとも当該第１のソースコードを対象としてコールグラフを生成するための起点となる実行コードを生成する。そして、情報処理装置１００は、更新後の第１のソースコードを含む解析対象となる一連のソースコードと、生成した第２のソースコード及び実行コードとを、コールグラフを生成するための一連のソースコードとして所定の出力先に出力する。以上のようにして生成された一連のソースコードを利用することで、図２を参照して説明したように、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成することが可能となる。
【0044】
＜第２の実施形態＞
本開示の第２の実施形態について説明する。前述した実施形態では、解析対象となるソースコードのうちの一部のソースコードに対して、オブジェクトの生成に係るコードを追加する更新を施すことで、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成可能とする仕組みの一例について説明した。これに対して、本実施形態では、解析対象となるソースコードの更新を伴わずに、当該ソースコードの処理を呼び出す他のソースコードを追加することで、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成可能とする仕組みの一例について説明する。なお、本実施形態では、前述した第１の実施形態と特に異なる部分に着目して説明を行い、当該第１の実施形態と実質的に同様の部分については詳細な説明は省略する。
本開示の第２の実施形態について説明する。前述した実施形態では、解析対象となるソースコードのうちの一部のソースコードに対して、オブジェクトの生成に係るコードを追加する更新を施すことで、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成可能とする仕組みの一例について説明した。これに対して、本実施形態では、解析対象となるソースコードの更新を伴わずに、当該ソースコードの処理を呼び出す他のソースコードを追加することで、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成可能とする仕組みの一例について説明する。なお、本実施形態では、前述した第１の実施形態と特に異なる部分に着目して説明を行い、当該第１の実施形態と実質的に同様の部分については詳細な説明は省略する。
【0045】
まず、図６を参照して、本実施形態において解析対象となるソースコードの一例と、当該ソースコードを対象とした、オブジェクト間の呼び出し関係を示すコールグラフの一例について説明する。具体的には、図６（ａ）に示すソースコードＣ６１１は、クラスＸのコード内において、クラスＢのオブジェクトのフィールドＣ６１２と、当該フィールドＣ６１２に保持されるオブジェクトの処理（メソッド）を呼び出すコードＣ６１３とが規定されている。また、ソースコードＣ６１１では、フィールドＣ６１２を参照するコードとして、呼び出し元から指定されたオブジェクトを当該フィールドＣ６１２に設定するためのコードＣ６１４が規定されている。図６（ｂ）は、このような前提のもとで、図６（ａ）に例示したようなソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。また、図１を参照して説明した例と同様に、ポインタ解析においては、フィールドＣ６１２に対するオブジェクトの生成が明示的に規定されていないため、同フィールドＣ６１２がＮｕｌｌとして扱われる。そのため、ポインタ解析（静的解析）によりソースコードＣ６１１のコールグラフの生成を試みた場合には、図６（ｃ）に示すような、クラスＢのオブジェクトが生成されていないことを前提とした、実態に即していないコールグラフが生成される場合がある。
【0046】
以上のような状況を鑑み、本実施形態に係る情報処理装置１００は、解析対象となるソースコードの更新を伴わずに、当該ソースコードの処理を呼び出す他のソースコードを追加することで、より実態に即したコールグラフの生成を可能とする。例えば、図７及び図８は、本実施形態に係る情報処理装置１００の機能の概要を説明するための説明図である。
【0047】
まず、図７を参照して、本実施形態に係る情報処理装置１００が、解析対象として指定された一連のソースコードの中から、更新対象となるソースコードと、当該ソースコード中における更新対象となるコードとを特定する方法の一例について説明する。更新対象となるソースコード及びコードを特定する方法としては、ソースコード中に付加されたアノテーションを利用する方法と、解析対象として指定された一連のソースコードに関連付けられた設定ファイルを利用する方法とが挙げられる。
【0048】
例えば、図７（ａ）は、ソースコード中に付されたアノテーションを利用して、コールグラフを生成するためのソースコードの追加に係る処理の対象となるソースコード及びコードを特定する方法の一例について示した図である。フレームワークに依っては、ソースコードに規定されたコードの実行に伴い生成されるインスタンス（オブジェクト）を管理下におくために、対象となるクラスのコードにアノテーションを付す場合がある。
例えば、図７（ａ）に示す例において、キーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ６１５は、クラスＢの規定に係るコードに付加されており、当該コードの実行に伴い生成される当該クラスＢのオブジェクト（インスタンス）がフレームワークの管理下にあることを示している。また、キーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ６１５を内包する他のアノテーションが付される場合があり、当該アノテーションは、例えば、キーワード「＠Ｃｏｎｔｒｏｌｌｅｒ」、「＠Ｓｅｒｖｉｃｅ」等で示され得る。例えば、図７（ａ）に示すアノテーションＣ６１６は、クラスＸの規定に係るコードに付加されており、当該コードの実行に伴い生成される当該クラスＸのオブジェクトがフレームワークの管理下にあることを示している。
例えば、図７（ａ）に示す例において、キーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ６１５は、クラスＢの規定に係るコードに付加されており、当該コードの実行に伴い生成される当該クラスＢのオブジェクト（インスタンス）がフレームワークの管理下にあることを示している。また、キーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ６１５を内包する他のアノテーションが付される場合があり、当該アノテーションは、例えば、キーワード「＠Ｃｏｎｔｒｏｌｌｅｒ」、「＠Ｓｅｒｖｉｃｅ」等で示され得る。例えば、図７（ａ）に示すアノテーションＣ６１６は、クラスＸの規定に係るコードに付加されており、当該コードの実行に伴い生成される当該クラスＸのオブジェクトがフレームワークの管理下にあることを示している。
【0049】
本実施形態に係る情報処理装置１００は、図７（ａ）に示す例の場合には、上記に例示したアノテーションを利用して、当該アノテーションが付されたコードを含むソースコードを、コールグラフを生成するためのソースコードの追加に係る処理の対象として特定する。
また、本実施形態に係る情報処理装置１００は、第１の実施形態で説明した例と同様に、実行時にオブジェクト間の依存関係が構成されることを意味するアノテーションに基づき、コールグラフを生成するためのソースコードの追加に係る処理の対象とするコードを特定する。例えば、図７（ａ）に示す例の場合には、情報処理装置１００は、キーワード「＠Ａｕｔｏｗｉｒｅｄ」で示されたアノテーションが付加されたコードＣ６１４を、コールグラフを生成するためのソースコードの追加に係る処理の対象とするコードとして特定する。
また、本実施形態に係る情報処理装置１００は、第１の実施形態で説明した例と同様に、実行時にオブジェクト間の依存関係が構成されることを意味するアノテーションに基づき、コールグラフを生成するためのソースコードの追加に係る処理の対象とするコードを特定する。例えば、図７（ａ）に示す例の場合には、情報処理装置１００は、キーワード「＠Ａｕｔｏｗｉｒｅｄ」で示されたアノテーションが付加されたコードＣ６１４を、コールグラフを生成するためのソースコードの追加に係る処理の対象とするコードとして特定する。
【0050】
また、図７（ｂ）は、解析対象として指定された一連のソースコードに関連付けられた設定ファイルを利用して、コールグラフを生成するためのソースコードの追加に係る処理の対象となるソースコード及びコードを特定する方法の一例について示した図である。図７（ｂ）に示す設定ファイルは、フレームワークが、ソースコードに規定されたコードの実行に伴い生成されるオブジェクト（インスタンス）を管理下におくために利用する設定ファイルの一例を示している。当該設定ファイルには、管理対象となるオブジェクトが生成されるクラスの規定や、当該オブジェクトが設定されるフィールドの規定が含まれる。
具体的な一例として、図７（ｂ）に例示した設定ファイルＣ６２１では、キーワード「ｂｅａｎ」で示されたタグにより、管理対象となるオブジェクトが生成されるクラスが指定されている。より具体的な一例として、タグＣ６２２に対して、キーワード「ｃｌａｓｓ」で示された属性情報として、オブジェクトの生成対象となるクラスＢが規定されている。また、他の一例として、タグＣ６２３に対して、キーワード「ｃｌａｓｓ」で示された属性情報として、オブジェクトの生成対象となるクラスＸが規定されている。すなわち、図７（ｂ）に示す例では、クラスＢ及びクラスＸのオブジェクトがフレームワークの管理下にあることを示している。
本実施形態に係る情報処理装置１００は、上記に例示したような設定ファイルの規定を利用して、フレームワークが管理下におくオブジェクトに対応するクラスのソースコードを、コールグラフを生成するためのソースコードの追加に係る処理の対象として特定する。
具体的な一例として、図７（ｂ）に例示した設定ファイルＣ６２１では、キーワード「ｂｅａｎ」で示されたタグにより、管理対象となるオブジェクトが生成されるクラスが指定されている。より具体的な一例として、タグＣ６２２に対して、キーワード「ｃｌａｓｓ」で示された属性情報として、オブジェクトの生成対象となるクラスＢが規定されている。また、他の一例として、タグＣ６２３に対して、キーワード「ｃｌａｓｓ」で示された属性情報として、オブジェクトの生成対象となるクラスＸが規定されている。すなわち、図７（ｂ）に示す例では、クラスＢ及びクラスＸのオブジェクトがフレームワークの管理下にあることを示している。
本実施形態に係る情報処理装置１００は、上記に例示したような設定ファイルの規定を利用して、フレームワークが管理下におくオブジェクトに対応するクラスのソースコードを、コールグラフを生成するためのソースコードの追加に係る処理の対象として特定する。
【0051】
また、キーワード「ｂｅａｎ」で示された上記クラスの規定に係るタグ内には、キーワード「ｐｒｏｐｅｒｔｙ」で示されたタグにより、対象となるフィールドにオブジェクト（インスタンス）を設定するためのｓｅｔｔｅｒメソッドが指定されている。例えば、クラスＸの規定に係るタグＣ６２３内には、キーワード「ｐｒｏｐｅｒｔｙ」で示されたタグＣ６２４のｎａｍｅ属性「ｂ」にｓｅｔｔｅｒメソッド（ｓｅｔＢ）の指定がなされている。
加えて、上記フィールドの規定に係るタグ内には、キーワード「ｒｅｆ」で示しされたタグにより、対象となるフィールドに対してどのクラスのオブジェクトが設定されるかが指定されている。例えば、フィールドｂの規定に係るタグＣ６２４内には、キーワード「ｒｅｆ」で示された設定されるオブジェクトに対応するクラスを示すタグＣ６２５が規定されている。また、当該タグＣ６２５には、キーワード「ｂｅａｎ」で示された属性情報として、対象となるクラスを特定するための識別情報が指定される。例えば、図７（ｂ）に示す例では、当該属性情報として、タグＣ６２２で示されたクラスＢに割り当てられた識別情報が指定されている。すなわち、図７（ｂ）に示す設定ファイルＣ６２１では、クラスＸに規定されたフィールドｂに対して、クラスＢのオブジェクトが設定されることが示されている。
本実施形態に係る情報処理装置１００は、上記に例示した設定ファイルにおけるフィールドの規定を利用して、同規定により指定されたコードを、コールグラフを生成するためのソースコードの追加に係る処理の対象とするコードとして特定する。
加えて、上記フィールドの規定に係るタグ内には、キーワード「ｒｅｆ」で示しされたタグにより、対象となるフィールドに対してどのクラスのオブジェクトが設定されるかが指定されている。例えば、フィールドｂの規定に係るタグＣ６２４内には、キーワード「ｒｅｆ」で示された設定されるオブジェクトに対応するクラスを示すタグＣ６２５が規定されている。また、当該タグＣ６２５には、キーワード「ｂｅａｎ」で示された属性情報として、対象となるクラスを特定するための識別情報が指定される。例えば、図７（ｂ）に示す例では、当該属性情報として、タグＣ６２２で示されたクラスＢに割り当てられた識別情報が指定されている。すなわち、図７（ｂ）に示す設定ファイルＣ６２１では、クラスＸに規定されたフィールドｂに対して、クラスＢのオブジェクトが設定されることが示されている。
本実施形態に係る情報処理装置１００は、上記に例示した設定ファイルにおけるフィールドの規定を利用して、同規定により指定されたコードを、コールグラフを生成するためのソースコードの追加に係る処理の対象とするコードとして特定する。
【0052】
次いで、図８を参照して、本実施形態に係る情報処理装置１００により、解析対象となる一連のソースコードのコールグラフを生成するために追加される他のソースコード（コールグラフを生成するためのソースコード）の一例について説明する。なお、図８に示す例では、便宜上、解析対象として指定されたプロジェクト（以下、プロジェクトｐｒｊ１とも称する）に含まれる一連のソースコードのうち、特にポイントとなる一部のソースコードを抜粋して図示している。また、図８に示す例では、解析対象として指定されたプロジェクトｐｒｊ１の状態として、当該プロジェクトｐｒｊ１に対して、対象となるソースコードＣ６１１のコールグラフを生成するための他のソースコードとして、抽象クラスＣ６３１のソースコードが追加された後の状態を示している。抽象クラスＣ６３１には、図７を参照して説明した例に基づき対象として特定されるフィールドに対応するオブジェクト（インスタンス）を、呼び出しに応じて返却するコードが規定されている。例えば、コードＣ６３２は、呼び出しに応じて、フィールドｘに設定されたクラスＸのオブジェクトを返却するコードとして、抽象クラスＣ６３１を継承するクラスＣ６４１の処理を呼び出すコードが規定されている。すなわち、コードＣ６３２の実体的な処理については、クラスＣ６４１の処理として規定されることとなる。当該クラスＣ６４１の処理については、詳細を別途後述する。
【0053】
また、本実施形態に係る情報処理装置１００は、解析対象となるプロジェクトｐｒｊ１とは別に、解析対象となるソースコードのコールグラフを生成するための他のソースコードの管理に利用する他のプロジェクト（以下、プロジェクトｍａｉｎとも称する）を別途生成する。そのうえで、情報処理装置１００は、プロジェクトｍａｉｎに対して、抽象クラスＣ６３１を継承するクラスＣ６４１と、コールグラフを生成するための起点となる実行コードＣ６５１とを追加する。
【0054】
具体的には、情報処理装置１００は、クラスＣ６４１に対して、抽象クラスＣ６３１に規定されたコードにより返却されるオブジェクトを保持するためのフィールドを、インスタンスを生成せずとも利用可能な所謂静的フィールドとして規定する。例えば、フィールドＣ６４３は、抽象クラスＣ６３１に規定されたコードＣ６３２が呼び出されることで返却される、クラスＸのオブジェクトを保持するためのフィールドである。なお、このクラスＣ６４１に規定されたフィールドが、「第２のフィールド」の一例に相当する。また、情報処理装置１００は、上記フィールドに対応するオブジェクトの生成が直接的に規定されたコードを追加する。上記フィールドには、当該コードとして規定された処理により生成されたオブジェクトが設定される。例えば、コードＣ６４２は、クラスＸのオブジェクトを生成する処理が規定されている。また、フィールドＣ６４３には、コードＣ６４２として規定された処理により生成されたオブジェクトが設定されている。また、情報処理装置１００は、抽象クラスＣ６３１に規定されたコードから呼び出されるコードとして、上記フィールドに保持されたオブジェクトを返却する実体的な処理が規定されたコードを追加する。例えば、コードＣ６４４は、抽象クラスＣ６３１に規定されたコードＣ６３２から呼び出され、フィールドＣ６４３に保持されたクラスＸのオブジェクトを返却する処理が規定されている。なお、このクラスＣ６４１のソースコードが、本実施形態における「第２のソースコード」の一例に相当する。
【0055】
また、情報処理装置１００は、実行コードＣ６５１に対して、クラスＣ６４１の初期化処理を呼び出したうえで、抽象クラスＣ６３１のコードＣ６３２を呼び出すことで、当該クラスＣ６４１のフィールドＣ６４３に保持されたオブジェクトを取得するコードを規定する。例えば、図８に示す例の場合には、当該コードが示す処理により、クラスＸのオブジェクトが取得されることとなる。そのうえで、情報処理装置１００は、実行コードＣ６５１に対して、上記コードにより取得されたオブジェクトの処理、すなわち、コールグラフの生成対象となる処理を呼び出すコードＣ６５２を規定している。なお、コールグラフの生成対象となる処理の特定方法については、図１を参照して説明した例と同様のため、詳細な説明は省略する。
【0056】
そして、情報処理装置１００は、解析対象となる第１のソースコードと、生成した第２のソースコード及び実行コードとを含む一連のソースコード（例えば、図８に例示した一連のソースコード）に基づきコールグラフを生成する。
【0057】
例えば、図９は、図６及び図８に例示した一連のソースコードに基づき生成されたコールグラフの一例について説明するための図である。具体的には、図９（ａ）は、解析対象となるソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。また、図９（ｂ）は、図６及び図８に例示した一連のソースコードに基づき生成されたコールグラフの一例を示している。図９（ａ）と図９（ｂ）とを比較するとわかるように、コールグラフ全体としては異なるものの、図９（ｂ）に示すコールグラフには、部分的なコールグラフＣ６６１として、図９（ａ）に示すコールグラフと実質的に同様のコールグラフが含まれる。すなわち、図９（ｂ）に示すコールグラフには、本来想定されるコールグラフと実質的に同様のコールグラフＣ６６１と、分析のために追加されたコードに基づき生成されるコールグラフとが含まれることとなる。このような前提のもとで、余分な部分を省いて本来のコールグラフと実質的に同等のコールグラフを得るためには、例えば、図９（ｂ）に示す一連のコールグラフから、パッケージ名等を抽出条件として、解析対象のソースコードのコールグラフを抽出すればよい。このように、本実施形態においても、ポインタ解析を利用する状況下であったとしても、実態に即したコールグラフ（すなわち、コールグラフＣ６６１）を生成することが可能となる。
【0058】
以上説明したように、本実施形態に係る情報処理装置１００に依れば、解析対象となるソースコードの更新を伴わずとも、コールグラフの生成にポインタ解析のような静的解析が利用される場合においても、より実態に即したコールグラフを生成することが可能となる。
【0059】
（変形例）
続いて、本開示の第２の実施形態の変形例について以下に説明する。本変形例では、解析対象となる一連のソースコードに、他のプロジェクトに属するソースコードと依存関係を有するソースコードが含まれる場合の一例について説明する。
続いて、本開示の第２の実施形態の変形例について以下に説明する。本変形例では、解析対象となる一連のソースコードに、他のプロジェクトに属するソースコードと依存関係を有するソースコードが含まれる場合の一例について説明する。
【0060】
例えば、図１０は、本変形例における解析対象となるソースコードの一例を示した図である。なお、図１０に示す例では、便宜上、解析対象として指定されたプロジェクトに含まれる一連のソースコードのうち、特にポイントとなる一部のソースコードを抜粋して図示している。
具体的には、図１０に示す例では、クラスＡ及びＸについて規定したソースコードＣ７１１がプロジェクトｐｒｊ１に含まれており、クラスＡを継承するクラスＢについて規定したソースコードＣ７１２がプロジェクトｐｒｊ２に含まれている。そのうえで、クラスＸのオブジェクトの処理として、クラスＡを継承するクラスＢのオブジェクトの処理が呼び出されている。換言すると、図１０に示す例では、クラスＸ内の処理では、クラスＡのオブジェクトとして、クラスＡを継承するクラスＢのオブジェクトが適用されている。すなわち、図１０に示す例では、プロジェクトｐｒｊ２に属するソースコード（例えば、クラスＢのソースコード）は、プロジェクトｐｒｊ１に属するソースコード（例えば、クラスＡのソースコード）に依存していることとなる。このような場合には、解析対象となるソースコードを管理する管理単位（例えば、プロジェクト）ごとに、コールグラフを生成するためのソースコードの追加がなされるとよい。
なお、本変形例では、ソースコードＣ７１１が「第１のソースコード」の一例に相当し、ソースコードＣ７１２が「第３のソースコード」の一例に相当する。
具体的には、図１０に示す例では、クラスＡ及びＸについて規定したソースコードＣ７１１がプロジェクトｐｒｊ１に含まれており、クラスＡを継承するクラスＢについて規定したソースコードＣ７１２がプロジェクトｐｒｊ２に含まれている。そのうえで、クラスＸのオブジェクトの処理として、クラスＡを継承するクラスＢのオブジェクトの処理が呼び出されている。換言すると、図１０に示す例では、クラスＸ内の処理では、クラスＡのオブジェクトとして、クラスＡを継承するクラスＢのオブジェクトが適用されている。すなわち、図１０に示す例では、プロジェクトｐｒｊ２に属するソースコード（例えば、クラスＢのソースコード）は、プロジェクトｐｒｊ１に属するソースコード（例えば、クラスＡのソースコード）に依存していることとなる。このような場合には、解析対象となるソースコードを管理する管理単位（例えば、プロジェクト）ごとに、コールグラフを生成するためのソースコードの追加がなされるとよい。
なお、本変形例では、ソースコードＣ７１１が「第１のソースコード」の一例に相当し、ソースコードＣ７１２が「第３のソースコード」の一例に相当する。
【0061】
図１１は、本変形例に係る情報処理装置１００が、解析対象となる一連のソースコードのコールグラフを生成するために追加する他のソースコード（コールグラフを生成するためのソースコード）の一例を示した図である。図１１では、図１０に例示した解析対象となる一連のソースコードを対象として情報処理装置１００により追加される、当該一連のソースコードのコールグラフを生成するための他のソースコードの一例を示している。
【0062】
具体的には、情報処理装置１００は、ソースコードＣ７１１が属するプロジェクトｐｒｊ１に対して、当該ソースコードＣ７１１のコールグラフを生成するための他のソースコードとして、抽象クラスＣ７２１のソースコードを追加する。抽象クラスＣ７２１は、ソースコードＣ７１１を対象とした、図８に示す例における抽象クラスＣ６３１に相当する。抽象クラスＣ７２１には、図７を参照して説明した例に基づき対象として特定されるフィールドに対応するオブジェクト（この場合には、クラスＡを継承したクラスＢに対応するオブジェクト）を、呼び出しに応じて返却するコードＣ７２２が規定されている。
同様に、情報処理装置１００は、ソースコードＣ７１２が属するプロジェクトｐｒｊ２に対して、当該ソースコードＣ７１２のコールグラフを生成するための他のソースコードとして、抽象クラスＣ７３１のソースコードを追加する。抽象クラスＣ７３１は、ソースコードＣ７１２を対象とした、図８に示す例における抽象クラスＣ６３１に相当する。抽象クラスＣ７３１には、図７を参照して説明した例に基づき対象として特定されるフィールドに対応するオブジェクト（クラスＢに対応するオブジェクト）を、呼び出しに応じて返却するコードＣ７３２が規定されている。
同様に、情報処理装置１００は、ソースコードＣ７１２が属するプロジェクトｐｒｊ２に対して、当該ソースコードＣ７１２のコールグラフを生成するための他のソースコードとして、抽象クラスＣ７３１のソースコードを追加する。抽象クラスＣ７３１は、ソースコードＣ７１２を対象とした、図８に示す例における抽象クラスＣ６３１に相当する。抽象クラスＣ７３１には、図７を参照して説明した例に基づき対象として特定されるフィールドに対応するオブジェクト（クラスＢに対応するオブジェクト）を、呼び出しに応じて返却するコードＣ７３２が規定されている。
【0063】
また、本変形例に係る情報処理装置１００は、解析対象となるプロジェクトｐｒｊ１及びｐｒｊ２とは別に、解析対象となるソースコードのコールグラフを生成するための他のソースコードの管理に利用する他のプロジェクト（プロジェクトｍａｉｎ）を別途生成する。そのうえで、情報処理装置１００は、プロジェクトｍａｉｎに対して、抽象クラスＣ７２１を継承するクラスＣ７４１と、抽象クラスＣ７３１を継承するＣ７５１と、コールグラフを生成するための起点となる実行コードＣ７６１（図１２を参照して別途後述する）とを追加する。
【0064】
情報処理装置１００は、クラスＣ７４１に対して、抽象クラスＣ７２１に規定されたコードにより返却されるオブジェクトを保持するためのフィールドを、インスタンスを生成せずとも利用可能な所謂静的フィールドとして規定する。例えば、フィールドＣ７４３は、抽象クラスＣ７２１に規定されたコードＣ７２２が呼び出されることで返却される、クラスＡを継承するクラスＢのオブジェクトを保持するためのフィールドである。
また、図１０に示す例では、ソースコードＣ７１１におけるクラスＸの処理において、クラスＡのオブジェクトとして、当該クラスＡを継承するクラスＢのオブジェクトが適用されている。そのため、フィールドＣ７４３に保持されるオブジェクトの生成が、後述するクラスＣ７５１の処理として実行されるように、当該フィールドＣ７４３にオブジェクトを設定するコードが規定されている。具体的には、フィールドＣ７４３にオブジェクトを設定するコードとして、抽象クラスＣ７３１に規定されたコードＣ７３２を呼び出すコードが規定されている。これにより、コードＣ７３２を介して後述するコードＣ７５４が呼び出され、結果として返却されるクラスＢのオブジェクトがフィールドＣ７４３に設定されることとなる。
また、情報処理装置１００は、抽象クラスＣ７２１に規定されたコードＣ７２２から呼び出されるコードとして、フィールドＣ７４３に保持されたオブジェクトを返却する実体的な処理が規定されたコードＣ７４４を追加する。
なお、本変形例では、クラスＣ７４１のソースコードが「第２のソースコード」の一例に相当する。また、クラスＣ７４１に規定されたフィールドＣ７４３が、本変形例における「第２のフィールド」の一例に相当し、当該フィールドＣ７４３に保持されるオブジェクトが本変形例における「第１のオブジェクト」の一例に相当する。
また、図１０に示す例では、ソースコードＣ７１１におけるクラスＸの処理において、クラスＡのオブジェクトとして、当該クラスＡを継承するクラスＢのオブジェクトが適用されている。そのため、フィールドＣ７４３に保持されるオブジェクトの生成が、後述するクラスＣ７５１の処理として実行されるように、当該フィールドＣ７４３にオブジェクトを設定するコードが規定されている。具体的には、フィールドＣ７４３にオブジェクトを設定するコードとして、抽象クラスＣ７３１に規定されたコードＣ７３２を呼び出すコードが規定されている。これにより、コードＣ７３２を介して後述するコードＣ７５４が呼び出され、結果として返却されるクラスＢのオブジェクトがフィールドＣ７４３に設定されることとなる。
また、情報処理装置１００は、抽象クラスＣ７２１に規定されたコードＣ７２２から呼び出されるコードとして、フィールドＣ７４３に保持されたオブジェクトを返却する実体的な処理が規定されたコードＣ７４４を追加する。
なお、本変形例では、クラスＣ７４１のソースコードが「第２のソースコード」の一例に相当する。また、クラスＣ７４１に規定されたフィールドＣ７４３が、本変形例における「第２のフィールド」の一例に相当し、当該フィールドＣ７４３に保持されるオブジェクトが本変形例における「第１のオブジェクト」の一例に相当する。
【0065】
また、情報処理装置１００は、クラスＣ７５１に対して、抽象クラスＣ７３１に規定されたコードにより返却されるオブジェクトを保持するためのフィールドを、インスタンスを生成せずとも利用可能な所謂静的フィールドとして規定する。例えば、フィールドＣ７５３は、抽象クラスＣ７３１に規定されたコードＣ７３２が呼び出されることで返却される、クラスＢのオブジェクトを保持するためのフィールドである。
また、図１０に示す例の場合には、クラスＢに依存する他のクラスが存在しない。そのため、情報処理装置１００は、フィールドＣ７５３に対応するオブジェクト（クラスＢのオブジェクト）の生成が直接的に規定されコードＣ７５２を追加している。フィールドＣ７５３には、コードＣ７５２として規定された処理により生成されたオブジェクトが設定される。
また、情報処理装置１００は、抽象クラスＣ７３１に規定されたコードＣ７３２から呼び出されるコードとして、フィールドに保持されたオブジェクトを返却する実体的な処理が規定されたコードＣ７５４を追加する。
なお、本変形例では、クラスＣ７５１のソースコードが「第４のソースコード」の一例に相当する。また、クラスＣ７４１に規定されたフィールドＣ７５３が、本変形例における「第３のフィールド」の一例に相当し、当該フィールドＣ７５３に保持されるオブジェクトが本変形例における「第２のオブジェクト」の一例に相当する。
また、図１０に示す例の場合には、クラスＢに依存する他のクラスが存在しない。そのため、情報処理装置１００は、フィールドＣ７５３に対応するオブジェクト（クラスＢのオブジェクト）の生成が直接的に規定されコードＣ７５２を追加している。フィールドＣ７５３には、コードＣ７５２として規定された処理により生成されたオブジェクトが設定される。
また、情報処理装置１００は、抽象クラスＣ７３１に規定されたコードＣ７３２から呼び出されるコードとして、フィールドに保持されたオブジェクトを返却する実体的な処理が規定されたコードＣ７５４を追加する。
なお、本変形例では、クラスＣ７５１のソースコードが「第４のソースコード」の一例に相当する。また、クラスＣ７４１に規定されたフィールドＣ７５３が、本変形例における「第３のフィールド」の一例に相当し、当該フィールドＣ７５３に保持されるオブジェクトが本変形例における「第２のオブジェクト」の一例に相当する。
【0066】
また、情報処理装置１００は、プロジェクトｍａｉｎに対して、コールグラフを生成するための起点となる実行コードＣ７６１を追加する。例えば、図１２は、本変形例に係る実行コードの一例を示した図である。
図１２に示す例では、情報処理装置１００は、実行コードＣ７６１に対して、クラスＣ７４１及びＣ７５１それぞれの初期化処理を呼び出したうえで、当該クラスＣ７４１のコードを呼び出すことで、当該クラスＣ７４１のフィールドに保持されたクラスＸのオブジェクトを取得するコードを規定している。そのうえで、情報処理装置１００は、実行コードＣ７６１に対して、上記コードにより取得されたクラスＸのオブジェクトの処理、すなわち、コールグラフの生成対象となる処理を呼び出すコードを規定している。なお、コールグラフの生成対象となる処理の特定方法については、図１を参照して説明した例と同様のため、詳細な説明は省略する。
図１２に示す例では、情報処理装置１００は、実行コードＣ７６１に対して、クラスＣ７４１及びＣ７５１それぞれの初期化処理を呼び出したうえで、当該クラスＣ７４１のコードを呼び出すことで、当該クラスＣ７４１のフィールドに保持されたクラスＸのオブジェクトを取得するコードを規定している。そのうえで、情報処理装置１００は、実行コードＣ７６１に対して、上記コードにより取得されたクラスＸのオブジェクトの処理、すなわち、コールグラフの生成対象となる処理を呼び出すコードを規定している。なお、コールグラフの生成対象となる処理の特定方法については、図１を参照して説明した例と同様のため、詳細な説明は省略する。
【0067】
そして、更新部１１２は、解析対象となる第１のソースコードと、生成した第２のソースコード及び実行コードとを含む一連のソースコード（例えば、図８に例示した一連のソースコード）を、コールグラフを生成するための一連のソースコードとして所定の出力先に出力する。
【0068】
そして、情報処理装置１００は、解析対象となる第１のソースコード及び第３のソースコードと、生成した第２のソースコード、第４のソースコード、及び実行コードとを含む一連のソースコード（例えば、図１１及び図１２に例示した一連のソースコード）に基づきコールグラフを生成する。
【0069】
例えば、図１３は、図１０、図１１、及び図１２に例示した一連のソースコードに基づき生成されたコールグラフの一例について説明するための図である。具体的には、図１３（ａ）は、解析対象となるソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。また、図１３（ｂ）は、図１０、図１１、及び図１２に例示した一連のソースコードに基づき生成されたコールグラフの一例を示している。図１３（ａ）と図１３（ｂ）とを比較するとわかるように、コールグラフ全体としては異なるものの、図１３（ｂ）に示すコールグラフには、部分的なコールグラフＣ７７１として、図１３（ａ）に示すコールグラフと実質的に同様のコールグラフが含まれる。すなわち、図１３（ｂ）に示すコールグラフには、本来想定されるコールグラフと実質的に同様のコールグラフＣ７７１と、分析のために追加されたコードに基づき生成されるコールグラフとが含まれることとなる。このような前提のもとで、余分な部分を省いて本来のコールグラフと実質的に同等のコールグラフを得るためには、例えば、図１３（ｂ）に示す一連のコールグラフから、パッケージ名等を抽出条件として、解析対象のソースコードのコールグラフを抽出すればよい。このように、本実施形態においても、ポインタ解析を利用する状況下であったとしても、実態に即したコールグラフ（すなわち、コールグラフＣ７７１）を生成することが可能となる。
【0070】
以上説明したように、本変形例に係る情報処理装置１００に依れば、解析対象となる一連のソースコードに、他のプロジェクトに属するソースコードと依存関係を有するソースコードが含まれる場合においても、より実態に即したコールグラフを生成することが可能となる。
【0071】
＜第３の実施形態＞
本開示の第３の実施形態について以下に説明する。本実施形態では、前述した各実施形態をさらに拡張した実施形態として、所謂シングルトン（Ｓｉｎｇｌｅｔｏｎ）と称される設計思想（デザインパターン）に基づきソースコードが規定されている場合を考慮して、解析対象となるソースコードのコールグラフを生成可能とするための仕組みの一例について説明する。なお、本実施形態では、前述した第１の実施形態や第２の実施形態と特に異なる部分に着目して説明を行い、当該第１の実施形態や当該第２の実施形態と実質的に同様の部分については詳細な説明は省略する。
本開示の第３の実施形態について以下に説明する。本実施形態では、前述した各実施形態をさらに拡張した実施形態として、所謂シングルトン（Ｓｉｎｇｌｅｔｏｎ）と称される設計思想（デザインパターン）に基づきソースコードが規定されている場合を考慮して、解析対象となるソースコードのコールグラフを生成可能とするための仕組みの一例について説明する。なお、本実施形態では、前述した第１の実施形態や第２の実施形態と特に異なる部分に着目して説明を行い、当該第１の実施形態や当該第２の実施形態と実質的に同様の部分については詳細な説明は省略する。
【0072】
【0073】
例えば、図１４Ａは、シングルトンが適用されていない場合の一例を示した図である。
具体的には、図１４Ａ（ａ）は、解析対象となるソースコードの一例を示した図である。図１４Ａ（ａ）に示す例では、前提として、オブジェクトｘ及びｙそれぞれに対して、Ｈｏｕｓｅクラスのオブジェクト（以下、ｈｏｕｓｅオブジェクトとも称する）のｐｅｔフィールドにＤｏｇクラスのオブジェクトが設定されている。このような状況下で、オブジェクトｘを対象として、ｈｏｕｓｅオブジェクトのｐｅｔフィールドに設定されているオブジェクトを、Ｃａｔクラスのオブジェクトに置き換えている（すなわち、Ｃａｔクラスのオブジェクトをｎｅｗして代入している）。なお、参考として、図１５に、図１４Ａと後述する図１４Ｂとのそれぞれに示すソースコードにて定義される一連のオブジェクトのソースコードの一例を示す。
図１４Ａ（ｂ）は、シングルトンが適用されていない状況下で、図１４Ａ（ａ）に示すソースコードに対してポインタ解析を適用した結果の一例を示している。シングルトンが適用されていない場合には、オブジェクトｘ及びｙそれぞれに対して個別にｈｏｕｓｅオブジェクトが生成されるため、図１４Ａ（ｂ）に示すように、オブジェクトｘ及びｙそれぞれからは、互いに異なるｈｏｕｓｅオブジェクトが呼び出されることとなる。すなわち、オブジェクトｘについては、ｈｏｕｓｅオブジェクトからＣａｔクラスのオブジェクトの生成処理が呼び出され、オブジェクトｙについては、ｈｏｕｓｅオブジェクトからＤｏｇクラスのオブジェクトの生成処理が呼び出されることとなる。
図１４Ａ（ｃ）は、図１４Ａ（ｂ）を参照して説明したポインタ解析の結果として出力されるコールグラフの一例を示している。すなわち、Ｍａｉｎクラスのｍａｉｎメソッドからは、オブジェクトｘの処理として呼び出されるＣａｔクラスのｃｒｙメソッドと、オブジェクトｙの処理として呼び出されるＤｏｇクラスのｃｒｙメソッドとがコールグラフに出力されることとなる。
具体的には、図１４Ａ（ａ）は、解析対象となるソースコードの一例を示した図である。図１４Ａ（ａ）に示す例では、前提として、オブジェクトｘ及びｙそれぞれに対して、Ｈｏｕｓｅクラスのオブジェクト（以下、ｈｏｕｓｅオブジェクトとも称する）のｐｅｔフィールドにＤｏｇクラスのオブジェクトが設定されている。このような状況下で、オブジェクトｘを対象として、ｈｏｕｓｅオブジェクトのｐｅｔフィールドに設定されているオブジェクトを、Ｃａｔクラスのオブジェクトに置き換えている（すなわち、Ｃａｔクラスのオブジェクトをｎｅｗして代入している）。なお、参考として、図１５に、図１４Ａと後述する図１４Ｂとのそれぞれに示すソースコードにて定義される一連のオブジェクトのソースコードの一例を示す。
図１４Ａ（ｂ）は、シングルトンが適用されていない状況下で、図１４Ａ（ａ）に示すソースコードに対してポインタ解析を適用した結果の一例を示している。シングルトンが適用されていない場合には、オブジェクトｘ及びｙそれぞれに対して個別にｈｏｕｓｅオブジェクトが生成されるため、図１４Ａ（ｂ）に示すように、オブジェクトｘ及びｙそれぞれからは、互いに異なるｈｏｕｓｅオブジェクトが呼び出されることとなる。すなわち、オブジェクトｘについては、ｈｏｕｓｅオブジェクトからＣａｔクラスのオブジェクトの生成処理が呼び出され、オブジェクトｙについては、ｈｏｕｓｅオブジェクトからＤｏｇクラスのオブジェクトの生成処理が呼び出されることとなる。
図１４Ａ（ｃ）は、図１４Ａ（ｂ）を参照して説明したポインタ解析の結果として出力されるコールグラフの一例を示している。すなわち、Ｍａｉｎクラスのｍａｉｎメソッドからは、オブジェクトｘの処理として呼び出されるＣａｔクラスのｃｒｙメソッドと、オブジェクトｙの処理として呼び出されるＤｏｇクラスのｃｒｙメソッドとがコールグラフに出力されることとなる。
【0074】
また、図１４Ｂは、シングルトンが適用されている場合の一例を示した図である。
具体的には、図１４Ｂ（ａ）は、解析対象となるソースコードの一例を示した図である。図１４Ｂ（ａ）に示す例は、コードの記載上は図１４Ａ（ａ）に示す例と同様であり、シングルトンが適用されているか否かが図１４Ａ（ａ）に示す例と異なる。
図１４Ｂ（ｂ）は、シングルトンが適用されている状況下で、図１４Ａ（ａ）に示すソースコードに対してポインタ解析を適用した結果の一例を示している。シングルトンが適用されている場合には、オブジェクトｘ及びｙそれぞれに対して共通のｈｏｕｓｅオブジェクトが適用されるため、図１４Ｂ（ｂ）に示すように、オブジェクトｘ及びｙそれぞれからは、共通のｈｏｕｓｅオブジェクトが呼び出されることとなる。
図１４Ｂ（ｃ）は、図１４Ｂ（ｂ）を参照して説明したポインタ解析の結果として出力されるコールグラフの一例を示している。すなわち、Ｍａｉｎクラスのｍａｉｎメソッドからは、オブジェクトｘ及びｙそれぞれの処理として共通に呼び出されるＣａｔクラスのｃｒｙメソッドがコールグラフに出力され、Ｄｏｇクラスのｃｒｙメソッドについてはコールグラフに出力されないこととなる。
なお、以降の説明では、便宜上、シングルトンが適用されている場合のオブジェクトをシングルトンオブジェクトとも称する。すなわち、図１４Ｂに示す例では、ｈｏｕｓｅオブジェクトはシングルトンオブジェクトとなる。これに対して、図１４Ａに示す例では、ｈｏｕｓｅオブジェクトはシングルトンオブジェクトではないこととなる。
具体的には、図１４Ｂ（ａ）は、解析対象となるソースコードの一例を示した図である。図１４Ｂ（ａ）に示す例は、コードの記載上は図１４Ａ（ａ）に示す例と同様であり、シングルトンが適用されているか否かが図１４Ａ（ａ）に示す例と異なる。
図１４Ｂ（ｂ）は、シングルトンが適用されている状況下で、図１４Ａ（ａ）に示すソースコードに対してポインタ解析を適用した結果の一例を示している。シングルトンが適用されている場合には、オブジェクトｘ及びｙそれぞれに対して共通のｈｏｕｓｅオブジェクトが適用されるため、図１４Ｂ（ｂ）に示すように、オブジェクトｘ及びｙそれぞれからは、共通のｈｏｕｓｅオブジェクトが呼び出されることとなる。
図１４Ｂ（ｃ）は、図１４Ｂ（ｂ）を参照して説明したポインタ解析の結果として出力されるコールグラフの一例を示している。すなわち、Ｍａｉｎクラスのｍａｉｎメソッドからは、オブジェクトｘ及びｙそれぞれの処理として共通に呼び出されるＣａｔクラスのｃｒｙメソッドがコールグラフに出力され、Ｄｏｇクラスのｃｒｙメソッドについてはコールグラフに出力されないこととなる。
なお、以降の説明では、便宜上、シングルトンが適用されている場合のオブジェクトをシングルトンオブジェクトとも称する。すなわち、図１４Ｂに示す例では、ｈｏｕｓｅオブジェクトはシングルトンオブジェクトとなる。これに対して、図１４Ａに示す例では、ｈｏｕｓｅオブジェクトはシングルトンオブジェクトではないこととなる。
【0075】
図１４Ａ及び図１４Ｂを比較するとわかるように、共通のソースコードが適用される場合においても、シングルトンが適用されているか否かに応じてプログラムの動作が異なり、結果として出力されるコールグラフも異なることとなる。このような状況を鑑み、本実施形態では、解析対象となるソースコードに対してシングルトンが適用されているか否かを加味して、より実態に即したコールグラフが生成されるように当該ソースコードを更新する場合の一例について説明する。
【0076】
まず、本実施形態に係る情報処理装置１００が、解析対象となるソースコードに対してシングルトンが適用されているか否かを判別するための仕組みの一例について説明する。例えば、フレームワークの中には、対象となるプログラムのスコープを、ソースコードに付加するアノテーションや、ソースコードに関連付けられた設定ファイル等により指定することが可能なものがある。このような場合には、例えば、同スコープの設定としてシングルトンを適用するか否かを設定可能な場合がある。そのため、例えば、情報処理装置１００は、このようなフレームワークの仕組みを利用することで、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。
【0077】
例えば、図１６は、フレームワークによりソースコード中に付加されたアノテーションに基づき、当該ソースコードに対してシングルトンが適用されているか否かを判別する仕組みの一例を示した図である。図１６に示す例では、対象となるソースコードにより実現されるプログラムのスコープの指定を意味するキーワード「＠Ｓｃｏｐｅ」で示されたアノテーションを付加するか否かや、当該アノテーションに指定されたパラメータに応じて、シングルトンが適用されているか否かが示される。
具体的には、図１６（ａ）及び図１６（ｂ）に示すように、アノテーション「＠Ｓｃｏｐｅ」は、パラメータとして属性値を指定することが可能であり、当該パラメータとして指定された属性値に応じて、対象となるソースコードのスコープが決定される。そのうえで、このアノテーション「＠Ｓｃｏｐｅ」に対して、属性値としてシングルトンの適用を意味する「ｓｉｎｇｌｅｔｏｎ」が指定されている場合には、対象となるソースコードに対してシングルトンが適用されていることを意味することとなる。すなわち、図１６（ａ）に示す例では、アノテーション「＠Ｓｃｏｐｅ」は、シングルトンが適用されないことを意味している。また、図１６（ｂ）に示す例では、アノテーション「＠Ｓｃｏｐｅ」は、シングルトンが適用されることを意味している。そのため、情報処理装置１００は、対象となるソースコードに付加された上記アノテーションに対して指定されている属性値に基づき、当該ソースコードに対してシングルトンが適用されているか否かを判別してもよい。
また、図１６（ｃ）に示すようにアノテーション「＠Ｓｃｏｐｅ」に対して属性値が指定されていない場合や、図１６（ｄ）に示すようにアノテーション「＠Ｓｃｏｐｅ」が付加されていない場合も想定され得る。このような場合には、スコープとしてデフォルトの設定が適用されることとなる。そのため、このような場合には、情報処理装置１００は、当該デフォルトの設定としてシングルトンが適用されていることを意味するか否かに応じて、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。具体的には、図１６（ｃ）や図１６（ｄ）に示す例において、デフォルトの設定としてシングルトンが適用されていることを意味する場合には、情報処理装置１００は、対象となるソースコードに対してシングルトンが適用されていると判定することとなる。
具体的には、図１６（ａ）及び図１６（ｂ）に示すように、アノテーション「＠Ｓｃｏｐｅ」は、パラメータとして属性値を指定することが可能であり、当該パラメータとして指定された属性値に応じて、対象となるソースコードのスコープが決定される。そのうえで、このアノテーション「＠Ｓｃｏｐｅ」に対して、属性値としてシングルトンの適用を意味する「ｓｉｎｇｌｅｔｏｎ」が指定されている場合には、対象となるソースコードに対してシングルトンが適用されていることを意味することとなる。すなわち、図１６（ａ）に示す例では、アノテーション「＠Ｓｃｏｐｅ」は、シングルトンが適用されないことを意味している。また、図１６（ｂ）に示す例では、アノテーション「＠Ｓｃｏｐｅ」は、シングルトンが適用されることを意味している。そのため、情報処理装置１００は、対象となるソースコードに付加された上記アノテーションに対して指定されている属性値に基づき、当該ソースコードに対してシングルトンが適用されているか否かを判別してもよい。
また、図１６（ｃ）に示すようにアノテーション「＠Ｓｃｏｐｅ」に対して属性値が指定されていない場合や、図１６（ｄ）に示すようにアノテーション「＠Ｓｃｏｐｅ」が付加されていない場合も想定され得る。このような場合には、スコープとしてデフォルトの設定が適用されることとなる。そのため、このような場合には、情報処理装置１００は、当該デフォルトの設定としてシングルトンが適用されていることを意味するか否かに応じて、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。具体的には、図１６（ｃ）や図１６（ｄ）に示す例において、デフォルトの設定としてシングルトンが適用されていることを意味する場合には、情報処理装置１００は、対象となるソースコードに対してシングルトンが適用されていると判定することとなる。
【0078】
他の一例として、図１７は、フレームワークにより対象となるソースコードに関連付けられた設定ファイルに規定されたスコープに関する設定に基づき、当該ソースコードに対してシングルトンが適用されているか否かを判別する仕組みの一例を示した図である。図１７に示す例では、クラスごとの種々の設定を規定する「ｂｅａｎ」タグに対して、対象となるソースコードにより実現されるプログラムのスコープの指定を意味するキーワード「ｓｃｏｐｅ」で示された属性を指定するか否かや、当該属性に指定された属性値に応じて、シングルトンが適用されているか否かが示される。
具体的には、図１７（ａ）及び図１７（ｂ）に示すように、「ｂｅａｎ」タグの「ｓｃｏｐｅ」属性には属性値が指定され、当該属性値に応じて、対象となるソースコードのスコープが決定される。そのうえで、この「ｓｃｏｐｅ」属性に対して、属性値としてシングルトンの適用を意味する「ｓｉｎｇｌｅｔｏｎ」が指定されると、対象となるソースコードに対してシングルトンが適用されることを意味することとなる。すなわち、図１７（ａ）に示す例では、「ｓｃｏｐｅ」属性は、シングルトンが適用されないことを意味している。また、図１７（ｂ）に示す例では、「ｓｃｏｐｅ」属性は、シングルトンが適用されることを意味している。そのため、情報処理装置１００は、対象となるソースコードに関連付けられた設定ファイルを参照し、同設定ファイル内にて「ｂｅａｎ」タグの「ｓｃｏｐｅ」属性に指定されている属性値に基づき、当該「ｂｅａｎ」タグが示すクラス（換言すると、当該クラスのソースコード）に対してシングルトンが適用されているか否かを判別してもよい。
また、図１７（ｃ）に示すように、「ｂｅａｎ」タグに対して「ｓｃｏｐｅ」属性が指定されていない場合も想定され得る。このような場合には、スコープとしてデフォルトの設定が適用されることとなる。そのため、このような場合には、情報処理装置１００は、当該デフォルトの設定としてシングルトンが適用されていることを意味するか否かに応じて、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。具体的には、図１７（ｃ）に示す例の場合において、デフォルトの設定としてシングルトンが適用されていることを意味する場合には、情報処理装置１００は、対象となるソースコードに対してシングルトンが適用されていると判定することとなる。
具体的には、図１７（ａ）及び図１７（ｂ）に示すように、「ｂｅａｎ」タグの「ｓｃｏｐｅ」属性には属性値が指定され、当該属性値に応じて、対象となるソースコードのスコープが決定される。そのうえで、この「ｓｃｏｐｅ」属性に対して、属性値としてシングルトンの適用を意味する「ｓｉｎｇｌｅｔｏｎ」が指定されると、対象となるソースコードに対してシングルトンが適用されることを意味することとなる。すなわち、図１７（ａ）に示す例では、「ｓｃｏｐｅ」属性は、シングルトンが適用されないことを意味している。また、図１７（ｂ）に示す例では、「ｓｃｏｐｅ」属性は、シングルトンが適用されることを意味している。そのため、情報処理装置１００は、対象となるソースコードに関連付けられた設定ファイルを参照し、同設定ファイル内にて「ｂｅａｎ」タグの「ｓｃｏｐｅ」属性に指定されている属性値に基づき、当該「ｂｅａｎ」タグが示すクラス（換言すると、当該クラスのソースコード）に対してシングルトンが適用されているか否かを判別してもよい。
また、図１７（ｃ）に示すように、「ｂｅａｎ」タグに対して「ｓｃｏｐｅ」属性が指定されていない場合も想定され得る。このような場合には、スコープとしてデフォルトの設定が適用されることとなる。そのため、このような場合には、情報処理装置１００は、当該デフォルトの設定としてシングルトンが適用されていることを意味するか否かに応じて、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。具体的には、図１７（ｃ）に示す例の場合において、デフォルトの設定としてシングルトンが適用されていることを意味する場合には、情報処理装置１００は、対象となるソースコードに対してシングルトンが適用されていると判定することとなる。
【0079】
続いて、図１８を参照して、本実施形態に係る情報処理装置１００による対象となるソースコードの更新方法の一例について説明する。図１８において、ソースコードＣ５０１は、解析対象のソースコードを模式的に示している。なお、図１８では図示を省略しているが、図６及び図７を参照して説明した例と同様に、クラスＡ及びクラスＢが別途規定されているものとする。また、クラスＸには、クラスＡを継承したクラスＢのオブジェクトが保持されるフィールドｂが規定されるおり、同フィールドに対して所定のアノテーション（＠Ａｕｔｏｗｉｒｅｄ）が示されているものとする。また、図１８では図示を省略しているが、更新後のソースコードＣ５０１を対象としたコールグラフを生成する際の起点となる実行コード（Ｍａｉｎクラス）が別途追加されることとなる。
【0080】
情報処理装置１００の解析部１１１は、解析対象として指定された一連のソースコードのうち、所定のアノテーション（＠Ａｕｔｏｗｉｒｅｄ）が付加されたソースコードＣ５０１を抽出し、当該アノテーションが示されたコード（フィールド）を更新対象のコード（換言すると、更新箇所）として特定する。なお、図１８に示す例では、クラスＡを継承したクラスＢのオブジェクトが設定されるフィールドｂが、更新対象のコードとして特定されたものとする。そのうえで、情報処理装置１００の更新部１１２は、更新対象のコードの特定結果に基づき、当該コードが示すオブジェクトの生成を間接的に示すコードを追加する。
具体的には、更新部１１２は、更新対象のコードに対応する抽象クラスＣ５０３を、ソースコードＣ５０１と同様のプロジェクト（以下、プロジェクト１とする）に追加したうえで、当該抽象クラスＣ５０３に対して対象となるオブジェクトの生成処理を呼び出すコードを追加する。なお、図１８に示す例では、便宜上、ソースコードＣ５０３に対してコードＣ５０８とコードＣ５０９とを例示している。コードＣ５０８は、後述するソースコードＣ５０２においてコードＣ５０６として実体的な処理が規定されるコード（オーバーライドされるコード）である。また、コードＣ５０９は、当該ソースコードＣ５０２においてコードＣ５０７として実体的な処理が規定されるコード（オーバーライドされるコード）である。シングルトンが適用されている場合には、コードＣ５０８及びＣ５０９の双方が使用される。これに対して、シングルトンが適用されていない場合にはＣ５０９のみが使用される。更新部１１２は、ソースコードＣ５０１に対してシングルトンが適用されているか否かの判別結果に基づき、上述の通りコードＣ５０８及びＣ５０９の出力を選択的に切り替えてもよいし、シングルトンが適用されているか否かに関わらず双方を追加してもよい。
また、更新部１１２は、ソースコードＣ５０１における更新対象のコード（フィールドｂ）に対して、生成した抽象クラスＣ５０３の上記処理を呼び出すコードを追加する。なお、図１８に示す例では、便宜上、ソースコードＣ５０１に対してシングルトンが適用されている場合のコードＣ５０４と、当該ソースコードＣ５０１に対してシングルトンが適用されていない場合のコードＣ５０５とを例示している。更新部１１２は、ソースコードＣ５０１に対してシングルトンが適用されているか否かの判別結果に基づき、当該ソースコードＣ５０１に対してコードＣ５０４及びＣ５０５のいずれかを追加する。
具体的には、更新部１１２は、更新対象のコードに対応する抽象クラスＣ５０３を、ソースコードＣ５０１と同様のプロジェクト（以下、プロジェクト１とする）に追加したうえで、当該抽象クラスＣ５０３に対して対象となるオブジェクトの生成処理を呼び出すコードを追加する。なお、図１８に示す例では、便宜上、ソースコードＣ５０３に対してコードＣ５０８とコードＣ５０９とを例示している。コードＣ５０８は、後述するソースコードＣ５０２においてコードＣ５０６として実体的な処理が規定されるコード（オーバーライドされるコード）である。また、コードＣ５０９は、当該ソースコードＣ５０２においてコードＣ５０７として実体的な処理が規定されるコード（オーバーライドされるコード）である。シングルトンが適用されている場合には、コードＣ５０８及びＣ５０９の双方が使用される。これに対して、シングルトンが適用されていない場合にはＣ５０９のみが使用される。更新部１１２は、ソースコードＣ５０１に対してシングルトンが適用されているか否かの判別結果に基づき、上述の通りコードＣ５０８及びＣ５０９の出力を選択的に切り替えてもよいし、シングルトンが適用されているか否かに関わらず双方を追加してもよい。
また、更新部１１２は、ソースコードＣ５０１における更新対象のコード（フィールドｂ）に対して、生成した抽象クラスＣ５０３の上記処理を呼び出すコードを追加する。なお、図１８に示す例では、便宜上、ソースコードＣ５０１に対してシングルトンが適用されている場合のコードＣ５０４と、当該ソースコードＣ５０１に対してシングルトンが適用されていない場合のコードＣ５０５とを例示している。更新部１１２は、ソースコードＣ５０１に対してシングルトンが適用されているか否かの判別結果に基づき、当該ソースコードＣ５０１に対してコードＣ５０４及びＣ５０５のいずれかを追加する。
【0081】
また、更新部１１２は、解析対象のソースコードＣ５０１が含まれるプロジェクト１とは別のプロジェクト（以下、プロジェクト３とも称する）を生成し、当該プロジェクト３に対して、抽象クラスＣ５０３を継承するクラスＣ５０２を追加する。具体的には、更新部１１２は、クラスＣ５０２に対して、抽象クラスＣ５０３にて定義されたコードにより呼び出される処理のコードを追加する。なお、前述したように、抽象クラスＣ５０３には、ソースコードＣ５０１に対してシングルトンが適用されているか否かに応じて、コードＣ５０８（シングルトンの場合）及びＣ５０９（シングルトンでない場合）のいずれかが追加される。そのため、更新部１１２は、抽象クラスＣ５０３に追加したコードに応じて、クラスＣ５０２に追加するコードを適宜変更する。
図１８に示すソースコードＣ５０２の例では、便宜上、ソースコードＣ５０１に対してコードＣ５０６とコードＣ５０７との双方が追加されている状態を例示している。具体的には、コードＣ５０６としては、フィールドｂに保持されたクラスＢ（クラスＡを継承したクラス）のオブジェクトを返却するコードが追加される。また、同フィールドｂには、詳細を後述するコードＣ５０７により生成された（ｎｅｗされた）クラスＢのオブジェクトが保持される。また、コードＣ５０７としては、クラスＢ（クラスＡを継承したクラス）のオブジェクトを生成するコードが追加される。シングルトンが適用されている場合には、コードＣ５０６及びＣ５０７の双方が使用される。これに対して、シングルトンが適用されていない場合にはＣ５０７のみが使用される。更新部１１２は、シングルトンが適用されているか否かの判定結果に基づき上述の通りコードＣ５０６及びＣ５０７の出力を選択的に切り替えてもよいし、シングルトンが適用されているか否かに関わらず双方を追加してもよい。なお、このコードの出力に係る制御の切り替えについては、ソースコードＣ５０３におけるコードＣ５０８及びＣ５０９の出力に係る制御の切り替えにあわせて適用することが望ましいことは言うまでもない。
また、図１８に示す例では図示を省略しているが、プロジェクト３には、図２や図８を参照して説明した例と同様の技術思想に基づき、更新後のソースコードＣ５０１を対象としたコールグラフを生成する際の起点となる実行コード（Ｍａｉｎクラス）が追加される。なお、同実行コードは、図２や図８に示す例と同様のため、詳細な説明は省略する。
図１８に示すソースコードＣ５０２の例では、便宜上、ソースコードＣ５０１に対してコードＣ５０６とコードＣ５０７との双方が追加されている状態を例示している。具体的には、コードＣ５０６としては、フィールドｂに保持されたクラスＢ（クラスＡを継承したクラス）のオブジェクトを返却するコードが追加される。また、同フィールドｂには、詳細を後述するコードＣ５０７により生成された（ｎｅｗされた）クラスＢのオブジェクトが保持される。また、コードＣ５０７としては、クラスＢ（クラスＡを継承したクラス）のオブジェクトを生成するコードが追加される。シングルトンが適用されている場合には、コードＣ５０６及びＣ５０７の双方が使用される。これに対して、シングルトンが適用されていない場合にはＣ５０７のみが使用される。更新部１１２は、シングルトンが適用されているか否かの判定結果に基づき上述の通りコードＣ５０６及びＣ５０７の出力を選択的に切り替えてもよいし、シングルトンが適用されているか否かに関わらず双方を追加してもよい。なお、このコードの出力に係る制御の切り替えについては、ソースコードＣ５０３におけるコードＣ５０８及びＣ５０９の出力に係る制御の切り替えにあわせて適用することが望ましいことは言うまでもない。
また、図１８に示す例では図示を省略しているが、プロジェクト３には、図２や図８を参照して説明した例と同様の技術思想に基づき、更新後のソースコードＣ５０１を対象としたコールグラフを生成する際の起点となる実行コード（Ｍａｉｎクラス）が追加される。なお、同実行コードは、図２や図８に示す例と同様のため、詳細な説明は省略する。
【0082】
以上のようにして、解析対象となるソースコードが更新されることで、当該ソースコードを対象としたコールグラフを、当該ソースコードに対してシングルトンが適用されているか否かに応じて、より実態に即した態様で出力することが可能となる。
なお、上述した例では、情報処理装置１００が、解析対象となるソースコードに付加されたアノテーションや、当該ソースコードに関連付けられた設定ファイル等に基づき、当該ソースコードに対してシングルトンが適用されているか否かを判別する場合の一例について説明した。一方で、情報処理装置１００が、解析対象となるソースコードに対してシングルトンが適用されているか否かを判別することが可能であれば、その方法は特に限定はされない。例えば、情報処理装置１００は、ユーザからの指示を受け付けることで、当該指示に基づき、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。
なお、上述した例では、情報処理装置１００が、解析対象となるソースコードに付加されたアノテーションや、当該ソースコードに関連付けられた設定ファイル等に基づき、当該ソースコードに対してシングルトンが適用されているか否かを判別する場合の一例について説明した。一方で、情報処理装置１００が、解析対象となるソースコードに対してシングルトンが適用されているか否かを判別することが可能であれば、その方法は特に限定はされない。例えば、情報処理装置１００は、ユーザからの指示を受け付けることで、当該指示に基づき、対象となるソースコードに対してシングルトンが適用されているか否かを判別してもよい。
【0083】
＜補足＞
なお、本開示の各実施形態では、主にＪａｖａと称されるプログラム言語により規定されたソースコードを解析の対象とする場合に着目して説明したが、オブジェクトの生成が伴うプログラム言語で規定されたソースコードであれば、対象とするプログラム言語は特に限定はされない。具体的な一例として、Ｃ＋＋やＯｂｊｅｃｔｉｖｅ－Ｃ等により規定されたソースコードを対象として、本開示に係る技術を適用することも可能である。なお、その場合には、解析対象となるソースコードに適用されるプログラム言語に応じて、コードの記載方法が異なるため、対象となるソースコードの更新に際して追加または修正されるコードについても当該プログラム言語のルールに応じて適宜変更されることは言うまでもない。
なお、本開示の各実施形態では、主にＪａｖａと称されるプログラム言語により規定されたソースコードを解析の対象とする場合に着目して説明したが、オブジェクトの生成が伴うプログラム言語で規定されたソースコードであれば、対象とするプログラム言語は特に限定はされない。具体的な一例として、Ｃ＋＋やＯｂｊｅｃｔｉｖｅ－Ｃ等により規定されたソースコードを対象として、本開示に係る技術を適用することも可能である。なお、その場合には、解析対象となるソースコードに適用されるプログラム言語に応じて、コードの記載方法が異なるため、対象となるソースコードの更新に際して追加または修正されるコードについても当該プログラム言語のルールに応じて適宜変更されることは言うまでもない。
【0084】
また、上述した実施形態はあくまで一例であり、必ずしも本発明の構成や処理を限定するものではなく、本発明の技術思想を逸脱しない範囲で種々の変形や変更が加えられてもよい。
【0085】
また、以下のような構成も本開示の技術的範囲に属する。
（１）解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出手段と、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、を備え、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、情報処理装置。
（２）前記第１のソースコードに対して前記オブジェクトの生成を間接的に示すコードを追加することで、当該第１のソースコードを更新する更新手段を備え、前記生成手段は、前記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された前記第２のソースコードを生成し、当該第２のソースコードに規定された処理を呼び出すことで、前記更新後の第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、（１）に記載の情報処理装置。
（３）前記オブジェクトの生成を間接的に示すコードは、前記第２のソースコードに規定されたクラスの抽象クラスに既定された処理を呼び出すコードであり、
前記クラスは、前記抽象クラスを継承するように、前記第２のソースコードに規定される、（２）に記載の情報処理装置。
（４）前記生成手段は、前記オブジェクトに対応する第２のフィールドと、当該オブジェクトを生成して当該第２のフィールドに保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該オブジェクトを返却するコードと、が規定された前記第２のソースコードを生成し、前記第２のソースコードに規定された処理により生成された前記オブジェクトを呼び出し、当該オブジェクトの処理として前記第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、（１）に記載の情報処理装置。
（５）前記生成手段は、第１のオブジェクトの前記第１のフィールドが規定された前記第１のソースコードと、当該第１のソースコードとは管理単位が異なり、かつ当該第１のソースコードに依存して規定される第２のオブジェクトの第２のフィールドが規定された第３のソースコードと、が抽出された場合に、前記第２のオブジェクトに対応する第３のフィールドと、当該第２のオブジェクトを生成して当該第３のフィールドに保持するコードと、呼び出しに応じて当該第３のフィールドに保持された当該第２のオブジェクトを返却するコードと、が規定された第４のソースコードと、前記第１のオブジェクトに対応する前記第２のフィールドと、前記第４のソースコードに規定された前記第３のフィールドに保持された前記第２のオブジェクトを返却するコードの呼び出しに基づき当該第２のフィールドに対して前記第２のオブジェクトを前記第１のオブジェクトとして保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該第１のオブジェクトを返却するコードと、が規定された前記第２のソースコードと、前記第２のソースコードに規定された処理により生成されたオブジェクトを呼び出し、当該オブジェクトの処理として、前記第１のソースコードに規定された処理と、前記第３のソースコードに規定された処理と、を呼び出す、前記実行コードと、を生成する、（４）に記載の情報処理装置。
（６）情報処理装置が実行する情報処理方法であって、解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、を含み、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、情報処理方法。
（７）コンピュータに、解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、を実行させ、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、プログラム。
（１）解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出手段と、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成手段と、を備え、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、情報処理装置。
（２）前記第１のソースコードに対して前記オブジェクトの生成を間接的に示すコードを追加することで、当該第１のソースコードを更新する更新手段を備え、前記生成手段は、前記オブジェクトの生成を間接的に示すコードに関連付けて、当該オブジェクトの生成を直接的に示すコードが規定された前記第２のソースコードを生成し、当該第２のソースコードに規定された処理を呼び出すことで、前記更新後の第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、（１）に記載の情報処理装置。
（３）前記オブジェクトの生成を間接的に示すコードは、前記第２のソースコードに規定されたクラスの抽象クラスに既定された処理を呼び出すコードであり、
前記クラスは、前記抽象クラスを継承するように、前記第２のソースコードに規定される、（２）に記載の情報処理装置。
（４）前記生成手段は、前記オブジェクトに対応する第２のフィールドと、当該オブジェクトを生成して当該第２のフィールドに保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該オブジェクトを返却するコードと、が規定された前記第２のソースコードを生成し、前記第２のソースコードに規定された処理により生成された前記オブジェクトを呼び出し、当該オブジェクトの処理として前記第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、（１）に記載の情報処理装置。
（５）前記生成手段は、第１のオブジェクトの前記第１のフィールドが規定された前記第１のソースコードと、当該第１のソースコードとは管理単位が異なり、かつ当該第１のソースコードに依存して規定される第２のオブジェクトの第２のフィールドが規定された第３のソースコードと、が抽出された場合に、前記第２のオブジェクトに対応する第３のフィールドと、当該第２のオブジェクトを生成して当該第３のフィールドに保持するコードと、呼び出しに応じて当該第３のフィールドに保持された当該第２のオブジェクトを返却するコードと、が規定された第４のソースコードと、前記第１のオブジェクトに対応する前記第２のフィールドと、前記第４のソースコードに規定された前記第３のフィールドに保持された前記第２のオブジェクトを返却するコードの呼び出しに基づき当該第２のフィールドに対して前記第２のオブジェクトを前記第１のオブジェクトとして保持するコードと、呼び出しに応じて当該第２のフィールドに保持された当該第１のオブジェクトを返却するコードと、が規定された前記第２のソースコードと、前記第２のソースコードに規定された処理により生成されたオブジェクトを呼び出し、当該オブジェクトの処理として、前記第１のソースコードに規定された処理と、前記第３のソースコードに規定された処理と、を呼び出す、前記実行コードと、を生成する、（４）に記載の情報処理装置。
（６）情報処理装置が実行する情報処理方法であって、解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、を含み、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、情報処理方法。
（７）コンピュータに、解析対象となる一連のソースコードのうち、ソースコード中に付加されたオブジェクトの生成を示唆するアノテーションと、当該一連のソースコードに関連付けられた設定ファイルにおける生成対象のオブジェクトの定義と、のうちの少なくともいずれかに基づき、当該オブジェクトの第１のフィールドが規定された第１のソースコードを抽出する抽出ステップと、前記第１のフィールドに対応するオブジェクトの生成を直接的に示すコードが規定され、かつ前記第１のソースコードとは異なる第２のソースコードと、前記第２のソースコードに規定された処理を呼び出すことで、前記第１のソースコードに規定された前記第１のフィールドを参照する処理を呼び出す実行コードと、を生成する生成ステップと、を実行させ、前記第１のソースコードと、前記第２のソースコードと、前記実行コードと、に基づきコールグラフが生成される、プログラム。
【符号の説明】
【0086】
１００ 情報処理装置
１１０ 制御部
１１１ 解析部
１１２ 更新部
１２０ コールグラフ生成部
１１０ 制御部
１１１ 解析部
１１２ 更新部
１２０ コールグラフ生成部
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8】
【図9】
【図10】
【図11】
【図12】
【図13】
【図14A】
【図14B】
【図15】
【図16】
【図17】
【図18】
【図19】