論文 [A Software Product Line for Static Analyses(2014)] に、コール グラフの作成に関する図があります (Listing7)。
この例では、Line14 が呼び出しグラフの構築に関連しています。src コードと API をチェックしているときに、コンストラクト コール グラフが実装されていない DefaultCHACallGraphDomain.scala を見つけることができました。
私の目的はOPALを使用してコールグラフを構築することです。OPAL の既存の CallGraphDomain を理解するのに役立つデモやドキュメントはありますか? 現在、いくつかのクラス宣言しか見つかりません。
このトピックに関連する提案を誰かに教えていただければ幸いです。
前もって感謝します。
ジャン