0
私が現在取り組んでいるプロジェクトでは、Shimple内の場所に対応する命令のバイトコードアドレスと、Shimple内の識別子へのスタックオフセットとオブジェクトフィールド参照を正確にマッピングできる必要があります。命令位置は、静的なシンボリック実行を開始するためにSPF実行を「トラップ」するために使用されます。これらのトラップポイントでは、スタティックコード領域で使用されるスタック位置とフィールド参照の内外に情報を転送できる必要があります。バイトコードオフセットとスートのスタックオフセット
この情報を提供するために「そのまま」またはSootを変更することはできますか？元のコードの情報に興味があり、簡単な場合は、Soot Shimpleフォームのバイトコードを書き直すこともできます。以前のバージョンのSootでは、バイトコードの説明を取得することができましたが、ASMフロントエンドを使用している現在のバージョンではこれがサポートされていないようです。
もう一度、私たちは特に必要なものは以下のとおりです。 - 分岐文 をShimpleに対応するJavaバイトコードオフセット - Shimple で参照ローカル変数のスタックオフセット - Shimpleでのフィールド参照に関連付けられたフィールド番号が。ありがとうございます！
ありがとうございました。私はちょうどそれをしました！ – Inquirer