問題タブ [soot]

http://www.sable.mcgill.ca/soot/tutorial/profiler2/profiler2.htmlの Java 計測の例に従って、ヘルパー クラスを使用して Android アプリケーションを計測しています。

私の BodyTransformer には、MyCounter クラスをロードするための静的ブロックがあります。

私の引数を処理する Soot.Main.main(args) (-android-jars を提供する) は、MyCounter のロード中に実行されないため、Soot は私の Android jar を見つけることができず、エラーが発生します。

解決策として、BodyTransformer を作成する前に、メイン クラスにコマンド ライン引数 (android jar、soot クラスパス、プリペンド クラスパス、およびプロセス ディレクトリ) を指定しました。今、それは動作します。

この問題を解決するためのより適切な方法があるかどうかを尋ねたいと思います。

CFGを作成する必要があるAndroidアプリの制御とデータフローの分析を行いたいです。私はそれを作るためにすすを試みましたが、私が得たのはジンプルと他の中間レベルの中間言語コードだけです。すすでCFGを作成する方法と、たとえそれを手に入れたとしても、プログラムで分析する方法を教えてもらえますか。

Soot を使用して apk ファイルを計測しています。soot.Main を実行する前に次のステートメントを追加すると (ボディ トランスフォーマーを作成することさえせずに)、regCount エラーが発生します。(異なるapkファイルの異なる方法で同じエラーが表示されます。)

私が得るエラーは次のとおりです。

前もって感謝します。

throw ステートメントが catch ブロック内で発生するケースを特定しようとしています。例えば：

throw ステートメントの存在を確認するために、各 catch ブロックの明示的な開始/終了範囲にアクセスして、そのユニットを反復処理することは可能ですか? これを行う方法について何か考えはありますか？

SOOT フレームワークを使用して匿名スレッドを操作した人はいますか? 試してみましたが、すすは匿名スレッド内の関数定義を認識していないようです。

SOOT プログラム分析フレームワークを使用して、メソッド呼び出しで使用されるすべての文字列を表示しようとしています。StringConstantをチェックすることはできますが、 RefTypeの値を取得するにはどうすればよいですか? サンプルコードは次のとおりです。

私はプログラム分析ドメインに不慣れです。ポインタは非常に役立ちます。

ありがとう