ホーム > 特許ランキング > 日鉄ソリューションズ株式会社
(19)【発行国】日本国特許庁(JP)
(12)【公報種別】公開特許公報(A)
(11)【公開番号】P2024142692
(43)【公開日】2024-10-11
(54)【発明の名称】情報処理装置、情報処理方法、及びプログラム
(51)【国際特許分類】
G06F 8/36 20180101AFI20241003BHJP
【ＦＩ】
G06F8/36
【審査請求】未請求
【請求項の数】9
【出願形態】ＯＬ
(21)【出願番号】P 2023054943
(22)【出願日】2023-03-30
【公序良俗違反の表示】
（特許庁注：以下のものは登録商標）
１．ＪＡＶＡ
(71)【出願人】
【識別番号】000191076
【氏名又は名称】日鉄ソリューションズ株式会社
(74)【代理人】
【識別番号】100117857
【弁理士】
【氏名又は名称】南林 薫
(72)【発明者】
【氏名】津村 耕司
(72)【発明者】
【氏名】木村 博昭
【テーマコード（参考）】
5B376
【Ｆターム（参考）】
5B376BC15
5B376BC23
5B376BC31
5B376BC38
5B376BC69
5B376BC80
(57)【要約】
【課題】静的解析により対象となるソースコードのコールグラフをより好適な態様で生成可能とする。
【解決手段】解析対象となる一連のソースコードを取得する取得手段と、前記一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが記載された第１のソースコードを更新対象として抽出する抽出手段と、更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新手段と、を備え、前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、情報処理装置。
【選択図】図７
【解決手段】解析対象となる一連のソースコードを取得する取得手段と、前記一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが記載された第１のソースコードを更新対象として抽出する抽出手段と、更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新手段と、を備え、前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、情報処理装置。
【選択図】図７
【特許請求の範囲】
【請求項1】
解析対象となる一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが付加された第１のソースコードを更新対象として抽出する抽出手段と、
更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新手段と、
を備え、
前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理装置。
更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新手段と、
を備え、
前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理装置。
【請求項2】
前記更新手段は、
前記第１のソースコードに対して前記第１のコードを追加した場合に、
前記更新後の第１のソースコードに規定された処理を直接呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
前記第１のソースコードに対して前記第１のコードを追加した場合に、
前記更新後の第１のソースコードに規定された処理を直接呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
【請求項3】
前記更新手段は、
前記第１のソースコードに対して前記第２のコードを追加した場合に、
当該第２のコードに関連付けて、前記第１のアノテーションが示されたフィールドに対応するオブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成し、
当該第２のソースコードに規定された処理を呼び出すことで、前記更新後の第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
前記第１のソースコードに対して前記第２のコードを追加した場合に、
当該第２のコードに関連付けて、前記第１のアノテーションが示されたフィールドに対応するオブジェクトの生成を直接的に示すコードが規定された第２のソースコードを生成し、
当該第２のソースコードに規定された処理を呼び出すことで、前記更新後の第１のソースコードに規定された処理を呼び出すように、前記実行コードを生成する、
請求項１に記載の情報処理装置。
【請求項4】
前記第２のコードは、前記第２のソースコードに規定されたクラスの抽象クラスに既定された処理を呼び出すコードであり、
前記クラスは、前記抽象クラスを継承するように、前記第２のソースコードに規定される、
請求項３に記載の情報処理装置。
前記クラスは、前記抽象クラスを継承するように、前記第２のソースコードに規定される、
請求項３に記載の情報処理装置。
【請求項5】
前記更新手段は、
更新対象として抽出された前記第１のソースコードにおいて、前記第１のアノテーションが示されたフィールドに対応するオブジェクトを対象として、シングルトンが適用されているか否か判定し、
前記オブジェクトに対してシングルトンが適用されている場合には、前記第２のコードを追加することにより前記第１のソースコードを更新する、
請求項１乃至４のいずれか１項に記載の情報処理装置。
更新対象として抽出された前記第１のソースコードにおいて、前記第１のアノテーションが示されたフィールドに対応するオブジェクトを対象として、シングルトンが適用されているか否か判定し、
前記オブジェクトに対してシングルトンが適用されている場合には、前記第２のコードを追加することにより前記第１のソースコードを更新する、
請求項１乃至４のいずれか１項に記載の情報処理装置。
【請求項6】
前記更新手段は、更新対象として抽出された前記第１のソースコードにおいて、前記第１のアノテーションが示されたフィールドを対象として示された、当該フィールドに対応するオブジェクトのスコープを示す第２のアノテーションの規定に基づき、当該フィールドに対応するオブジェクトを対象として、シングルトンが適用されているか否かを判定する、
請求項５に記載の情報処理装置。
請求項５に記載の情報処理装置。
【請求項7】
前記更新手段は、更新対象として抽出された前記第１のソースコードに関連付けられた設定ファイルにおける、当該第１のソースコードに示されたフィールドに対応するオブジェクトのスコープを示す属性情報に基づき、当該フィールドに対応するオブジェクトを対象として、シングルトンが適用されているか否かを判定する、
請求項５に記載の情報処理装置。
請求項５に記載の情報処理装置。
【請求項8】
情報処理装置が実行する情報処理方法であって、
解析対象となる一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが付加された第１のソースコードを更新対象として抽出する抽出ステップと、
更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新ステップと、
を含み、
前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理方法。
解析対象となる一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが付加された第１のソースコードを更新対象として抽出する抽出ステップと、
更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新ステップと、
を含み、
前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
情報処理方法。
【請求項9】
コンピュータに、
解析対象となる一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが付加された第１のソースコードを更新対象として抽出する抽出ステップと、
更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新ステップと、
を実行させ、
前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
プログラム。
解析対象となる一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが付加された第１のソースコードを更新対象として抽出する抽出ステップと、
更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新ステップと、
を実行させ、
前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される、
プログラム。
【発明の詳細な説明】
【技術分野】
【0001】
本開示は、情報処理装置、情報処理方法、及びプログラムに関する。
【背景技術】
【0002】
プログラムの開発や保守に際して、対象となるプログラムを理解するために、当該プログラムにソースコード解析を施したうえで、当該解析の結果を利用する場合がある。このようなソースコード解析の手法の１つとして、プログラム中で生成されたオブジェクトがどのように伝搬していくかを解析する、ポインタ解析と称される手法が知られている。ポインタ解析の結果として出力されるデータとしては、例えば、コールグラフと称されるオブジェクト間の呼び出し関係を示したデータが知られている。
【0003】
また、近年では、プログラム開発を効率よく行うために、アプリケーションフレームワークとも称される、数多くの再利用可能なプログラム部品を有するテンプレートを利用するケースが増えている。
【先行技術文献】
【特許文献】
【0004】
【特許文献1】国際公開第２０２２／１２３７６３号
【発明の概要】
【発明が解決しようとする課題】
【0005】
一方で、アプリケーションフレームワークを利用して作成されたプログラムでは、プログラムの実行時にアプリケーションフレームワークによってオブジェクト間の依存関係が構成される。そのため、アプリケーションフレームワークを利用してプログラムが作成される場合に、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合がある。このような場合には、ポインタ解析のような所謂静的な解析手法では、正確な解析が困難な場合がある。
【0006】
上記のような課題に対して、特許文献１には、依存性の注入（ＤＩ：Ｄｅｐｅｎｄｅｎｃｙ Ｉｎｊｅｃｔｉｏｎ）に係る情報を利用して、コールグラフを生成する技術の一例が開示されている。しかしながら、特許文献１に開示された技術ではポインタ解析を行っているわけではないため、必ずしも正確なコールグラフ（より実態に即したコールグラフ）が作成されるとは限らない。
【0007】
本発明は上記の問題を鑑み、静的解析により対象となるソースコードのコールグラフをより好適な態様で生成可能とすることを目的とする。
【課題を解決するための手段】
【0008】
本発明に係る情報処理装置は、解析対象となる一連のソースコードのうち、オブジェクトの生成を示唆する第１のアノテーションが記載された第１のソースコードを更新対象として抽出する抽出手段と、更新対象として抽出された前記第１のソースコード中の、前記第１のアノテーションが示されたフィールドを対象として、当該フィールドに対応するオブジェクトの生成を直接的に示す第１のコードと、当該オブジェクトの生成を間接的に示す第２のコードと、のいずれかを追加することで、当該第１のソースコードを更新し、当該更新後の第１のソースコードに規定された処理を呼び出す実行コードを生成する更新手段と、を備え、前記更新後の第１のソースコードと、前記実行コードと、に基づきコールグラフが生成される。
【発明の効果】
【0009】
本発明によれば、静的解析により対象となるソースコードのコールグラフをより好適な態様で生成することが可能となる。
【図面の簡単な説明】
【0010】
【図1】情報処理装置の機能の概要について説明するための図である。
【図2】ソースコードの更新方法の一例について説明するための図である。
【図3】情報処理装置のハードウェア構成の一例を示した図である。
【図4】情報処理装置の機能構成の一例を示した機能ブロック図である。
【図5】情報処理装置の処理の一例を示したフローチャートである。
【図6】ソースコードの更新に伴いエラーが発生する場合の一例を示した図である。
【図7】ソースコードの更新方法の一例について説明するための図である。
【図8A】シングルトンが適用されていない場合の一例を示した図である。
【図8B】シングルトンが適用されている場合の一例を示した図である。
【図9】シングルトンの考慮について説明するための図である。
【図10】シングルトンの適用の可否を判別する仕組みの一例を示した図である。
【図11】シングルトンの適用の可否を判別する仕組みの一例を示した図である。
【図12】ソースコードの更新方法の一例について説明するための図である。
【図13】実行コードの生成方法の一例について説明するための図である。
【発明を実施するための形態】
【0011】
以下に添付図面を参照しながら、本開示の好適な実施の形態について詳細に説明する。なお、本明細書及び図面において、実質的に同一の機能構成を有する構成要素については、同一の符号を付することにより重複説明を省略する。
【0012】
＜第１の実施形態＞
本開示の第１の実施形態に係る情報処理装置について以下に説明する。まず、図１及び図２を参照して、本実施形態に係る情報処理装置の機能の概要について説明する。
前述したように、アプリケーションフレームワークを利用して作成されたプログラム等のように、プログラムの実行時にアプリケーションフレームワークによってオブジェクト間の依存関係が構成されるものがある。このようなプログラムにおいては、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合がある。例えば、図１は、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合の一例を示している。
本開示の第１の実施形態に係る情報処理装置について以下に説明する。まず、図１及び図２を参照して、本実施形態に係る情報処理装置の機能の概要について説明する。
前述したように、アプリケーションフレームワークを利用して作成されたプログラム等のように、プログラムの実行時にアプリケーションフレームワークによってオブジェクト間の依存関係が構成されるものがある。このようなプログラムにおいては、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合がある。例えば、図１は、オブジェクトの生成を示したコードがソースコード上に明示的に規定されない場合の一例を示している。
【0013】
具体的には、図１（ａ）に示すソースコードＣ１１１は、クラスＸのコード内において、クラスＢのオブジェクトのフィールドＣ１１２と、フィールドＣ１１２に保持されるオブジェクトの処理（メソッド）を呼び出すコードＣ１１３とが規定されている。図１（ｂ）は、このような前提のもとで、図１（ａ）に例示したようなソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。
一方で、プログラムを実行せずにソースコードに基づきオブジェクト間の呼び出し関係を解析するポインタ解析においては、フィールドＣ１１２に対するオブジェクトの生成が明示的に規定されていないため、同フィールドＣ１１２がＮｕｌｌとして扱われる。そのため、ポインタ解析（静的解析）によりソースコードＣ１１１のコールグラフの生成を試みた場合には、図１（ｃ）に示すような、クラスＢのオブジェクトが生成されていないことを前提とした、実態に即していないコールグラフが生成される場合がある。
一方で、プログラムを実行せずにソースコードに基づきオブジェクト間の呼び出し関係を解析するポインタ解析においては、フィールドＣ１１２に対するオブジェクトの生成が明示的に規定されていないため、同フィールドＣ１１２がＮｕｌｌとして扱われる。そのため、ポインタ解析（静的解析）によりソースコードＣ１１１のコールグラフの生成を試みた場合には、図１（ｃ）に示すような、クラスＢのオブジェクトが生成されていないことを前提とした、実態に即していないコールグラフが生成される場合がある。
【0014】
以上のような状況を鑑み、本実施形態に係る情報処理装置は、解析対象となるソースコードに対して一部修正を施すことで、当該ソースコードをポインタ解析（静的解析）用のソースコードに更新することで、より実態に即したコールグラフの生成を可能とする。例えば、図２は、本実施形態に係る情報処理装置の機能の概要を説明するための説明図である。
【0015】
図２（ａ）は、本実施形態に係る情報処理装置１００による、解析対象となるソースコードの更新結果の一例を示している。具体的には、ソースコードＣ１２１は、解析対象のソースコードに対して情報処理装置１００により修正が施されることで更新された後の、当該ソースコードの一例を示している。また、ソースコードＣ１２２は、更新後のソースコードＣ１２１に規定された処理を呼び出す実行コード（所謂Ｍａｉｎクラスが規定されたコード）である。
フレームワークの中には、実行時にオブジェクト間の依存関係が構成される部分に対してアノテーションが付加されるものがある。本実施形態に係る情報処理装置１００は、当該アノテーションに基づき、解析対象として指定された一連のソースコードの中から、更新対象となるソースコードと、当該ソースコード中における更新対象となるコード（例えば、フィールド）とを特定する。そのうえで、情報処理装置１００は、更新対象となるコードに関する定義に基づき、当該コードに修正を施す。
フレームワークの中には、実行時にオブジェクト間の依存関係が構成される部分に対してアノテーションが付加されるものがある。本実施形態に係る情報処理装置１００は、当該アノテーションに基づき、解析対象として指定された一連のソースコードの中から、更新対象となるソースコードと、当該ソースコード中における更新対象となるコード（例えば、フィールド）とを特定する。そのうえで、情報処理装置１００は、更新対象となるコードに関する定義に基づき、当該コードに修正を施す。
【0016】
例えば、図２（ａ）に示す例では、フィールドＣ１２４に対して、実行時にオブジェクト間の依存関係が構成されることを意味するキーワード「＠Ａｕｔｏｗｉｒｅｄ」で示しされたアノテーションＣ１２３が付加されている。そのため、情報処理装置１００は、解析対象として指定された一連のソースコードのうち、アノテーションＣ１２３が付加されたソースコードＣ１２１を更新対象として抽出する。そのうえで、情報処理装置１００は、ソースコードＣ１２１内での定義に従い、アノテーションＣ１２３が示されたフィールドＣ１２４に対して、オブジェクトの生成を示すコードを追加する。具体的には、図２（ａ）に示す例では、アノテーションＣ１２３が示されたフィールドＣ１２４に対して、オブジェクトの生成を直接的に示すコード（例えば、オブジェクトをｎｅｗするコード）が追加されている。
この際に、情報処理装置１００は、例えば、生成対象とするオブジェクトを、フレームワークが管理対象となるコンポーネントとして扱うクラスに対して付加したアノテーションに基づき特定する。例えば、フィールドＣ１２４に設定されるオブジェクトは、クラスＡまたはクラスＢのオブジェクトとなる。また、図２（ａ）に示す例では、クラスＢに対して、管理対象となるコンポーネントであることを意味するキーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ１２５が付加されている。一方で、クラスＡに対しては、管理対象となるコンポーネントであることを意味するアノテーションが付加されていない。そのため、情報処理装置１００は、フィールドＣ１２４に設定されるオブジェクトが、クラスＢのオブジェクトであるものと認識し、クラスＢのオブジェクトの生成を直接的に示すコードを追加している。
以上のようにして、ソースコードＣ１２１が更新される。
また、情報処理装置１００は、対象となるソースコードの更新結果に基づき、コールグラフ生成時の起点となる実行コードに相当するソースコードＣ１２２を生成する。具体的には、情報処理装置１００は、少なくとも更新がなされたコードの呼び出しに係るコードが呼び出しの対象とする実行コードとして、ソースコードＣ１２２を生成する。例えば、図２（ａ）に示す例の場合には、ソースコードＣ１２１中のフィールドＣ１２４が更新の対象となっており、コードＣ１２５にて当該フィールドＣ１２４に保持されたオブジェクトが参照されている。そのため、情報処理装置１００は、更新対象となるフィールドＣ１２４が規定されたクラスＸのオブジェクトを生成し、当該オブジェクトの処理としてコードＣ１２５として規定された処理を呼び出すコードＣ１２６が規定されたソースコードＣ１２２を生成している。
なお、上述した要件を満たす実行コード（ソースコードＣ１２２相当のコード）を生成することが可能であれば、その方法は特に限定はされない。例えば、以下に示す参考文献に開示された手法を利用することで、上述した要件を満たす実行コードを生成することも可能である。
・参考文献：Ｊｅｎｓ Ｄｉｅｔｒｉｃｈ, Ｆｒａｎcｏｉｓ Ｇａｕｔｈｉｅｒ, ａｎｄ Ｐａｄｍａｎａｂｈａｎ Ｋｒｉｓｈｎａｎ. ２０１８. Ｄｒｉｖｅｒ Ｇｅｎｅｒａｔｉｏｎ ｆｏｒ Ｊａｖａ ＥＥ Ｗｅｂ Ａｐｐｌｉｃａｔｉｏｎｓ. Ｉｎ Ａｕｓｔｒａｌａｓｉａｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｏｎｆｅｒｅｎｃｅ （ＡＳＷＥＣ）. ＩＥＥＥ, １２１－２５.
また、他の一例として、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、上述した要件を満たす実行コードを生成することも可能である。このアノテーションを利用した実行コードの生成方法については、本実施形態の変形例として詳細を別途後述する。
また、図２（ａ）において、実行時にオブジェクト間の依存関係が構成されることを意味するキーワード「＠Ａｕｔｏｗｉｒｅｄ」で示しされたアノテーションＣ１２３が、オブジェクトの生成を示唆する「第１のアノテーション」の一例に相当する。すなわち、同アノテーションＣ１２３が付加されたソースコードＣ１２１、すなわち更新対象となるソースコードが、「第１のソースコード」の一例に相当する。また、アノテーションＣ１２３が示されたフィールドＣ１２４に対して追加された、オブジェクトの生成を直接的に示すコードが、「第１のコード」の一例に相当する。
この際に、情報処理装置１００は、例えば、生成対象とするオブジェクトを、フレームワークが管理対象となるコンポーネントとして扱うクラスに対して付加したアノテーションに基づき特定する。例えば、フィールドＣ１２４に設定されるオブジェクトは、クラスＡまたはクラスＢのオブジェクトとなる。また、図２（ａ）に示す例では、クラスＢに対して、管理対象となるコンポーネントであることを意味するキーワード「＠Ｃｏｍｐｏｎｅｎｔ」で示されたアノテーションＣ１２５が付加されている。一方で、クラスＡに対しては、管理対象となるコンポーネントであることを意味するアノテーションが付加されていない。そのため、情報処理装置１００は、フィールドＣ１２４に設定されるオブジェクトが、クラスＢのオブジェクトであるものと認識し、クラスＢのオブジェクトの生成を直接的に示すコードを追加している。
以上のようにして、ソースコードＣ１２１が更新される。
また、情報処理装置１００は、対象となるソースコードの更新結果に基づき、コールグラフ生成時の起点となる実行コードに相当するソースコードＣ１２２を生成する。具体的には、情報処理装置１００は、少なくとも更新がなされたコードの呼び出しに係るコードが呼び出しの対象とする実行コードとして、ソースコードＣ１２２を生成する。例えば、図２（ａ）に示す例の場合には、ソースコードＣ１２１中のフィールドＣ１２４が更新の対象となっており、コードＣ１２５にて当該フィールドＣ１２４に保持されたオブジェクトが参照されている。そのため、情報処理装置１００は、更新対象となるフィールドＣ１２４が規定されたクラスＸのオブジェクトを生成し、当該オブジェクトの処理としてコードＣ１２５として規定された処理を呼び出すコードＣ１２６が規定されたソースコードＣ１２２を生成している。
なお、上述した要件を満たす実行コード（ソースコードＣ１２２相当のコード）を生成することが可能であれば、その方法は特に限定はされない。例えば、以下に示す参考文献に開示された手法を利用することで、上述した要件を満たす実行コードを生成することも可能である。
・参考文献：Ｊｅｎｓ Ｄｉｅｔｒｉｃｈ, Ｆｒａｎcｏｉｓ Ｇａｕｔｈｉｅｒ, ａｎｄ Ｐａｄｍａｎａｂｈａｎ Ｋｒｉｓｈｎａｎ. ２０１８. Ｄｒｉｖｅｒ Ｇｅｎｅｒａｔｉｏｎ ｆｏｒ Ｊａｖａ ＥＥ Ｗｅｂ Ａｐｐｌｉｃａｔｉｏｎｓ. Ｉｎ Ａｕｓｔｒａｌａｓｉａｎ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ Ｃｏｎｆｅｒｅｎｃｅ （ＡＳＷＥＣ）. ＩＥＥＥ, １２１－２５.
また、他の一例として、フレームワークが解析対象のソースコードに付加したアノテーションを利用して、上述した要件を満たす実行コードを生成することも可能である。このアノテーションを利用した実行コードの生成方法については、本実施形態の変形例として詳細を別途後述する。
また、図２（ａ）において、実行時にオブジェクト間の依存関係が構成されることを意味するキーワード「＠Ａｕｔｏｗｉｒｅｄ」で示しされたアノテーションＣ１２３が、オブジェクトの生成を示唆する「第１のアノテーション」の一例に相当する。すなわち、同アノテーションＣ１２３が付加されたソースコードＣ１２１、すなわち更新対象となるソースコードが、「第１のソースコード」の一例に相当する。また、アノテーションＣ１２３が示されたフィールドＣ１２４に対して追加された、オブジェクトの生成を直接的に示すコードが、「第１のコード」の一例に相当する。
【0017】
なお、アノテーションＣ１２３として付加されるキーワードについては、適用されるフレームワークに応じて異なる場合がある。そのため、情報処理装置１００は、適用されるフレームワークに応じて、アノテーションＣ１２３として抽出するキーワードを適宜変更してもよい。また、情報処理装置１００が、適用されるフレームワークを識別することが可能であれば、その方法についても特に限定はされない。具体的な一例として、情報処理装置１００は、ユーザからの指示に応じて適用されるフレームワークを認識し、当該フレームワークに応じてアノテーションＣ１２３として抽出するキーワードを変更してもよい。また、他の一例として、情報処理装置１００は、解析対象として指定されたソースコードに含まれる情報や、当該ソースコードに紐付けられた設定ファイル等を解析することで、適用されるフレームワークを認識してもよい。
【0018】
図２（ｂ）は、更新前のソースコードのプログラムが実行された場合における、オブジェクト間の呼び出し関係を示すコールグラフの一例を示している。また、図２（ｃ）は、図２（ａ）に示した更新後のソースコードを対象としたポインタ解析（静的解析）により生成されるコールグラフの一例を示している。図２（ｂ）と図２（ｃ）とを比較するとわかるように、図２（ｃ）に示すコールグラフでは、実行コードＣ１２２からの呼び出しに係るコールグラフが含まれるものの、その他のコールグラフについては、図２（ｂ）に示すコールグラフと同様となっている。すなわち、図２（ａ）に示すように解析対象のソースコードが更新されることで、ポインタ解析を利用する状況下においても、実態に即したコールグラフを生成することが可能となる。なお、以降では、本実施形態に係る情報処理装置１００について、より詳しく説明をする。
【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】
１００ 情報処理装置
１１０ 制御部
１１１ 解析部
１１２ 更新部
１２０ コールグラフ生成部
１１０ 制御部
１１１ 解析部
１１２ 更新部
１２０ コールグラフ生成部
【図1】
【図2】
【図3】
【図4】
【図5】
【図6】
【図7】
【図8A】
【図8B】
【図9】
【図10】
【図11】
【図12】
【図13】