android - MoDisco でコール グラフ モデルを生成する

Question

このファイル [1 シンボリック実行による Android アプリのテスト] を読みました: http://mason.gmu.edu/~nesfaha2/Publications/JPF2012.pdf

彼らが書きました：

MoDisco [19] を使用してアプリのソース コードを解析し、アプリのコール グラフ モデルを抽出します。

MoDisco をインストールしましたが、どうすればよいかわかりません。

私の質問は、このコール グラフ モデルを作成するにはどうすればよいですか? http://i.stack.imgur.com/KhBeR.png

Answer 1

MoDisco をインストールした後、パッケージ エクスプローラーのコンテキスト メニューから [検出] -> [アクション] -> [メソッド呼び出しの表示] を選択できます。ビューが開きます。ただし、リンク先の画像とは少し異なります。