Java バイト コード エンジニアリング ライブラリASMを使用して静的解析を実行しようとしています。フィールドに割り当てられている変数を検査したい状況があります。
私はメソッドMethodVisitorを実装していvisitFieldInsn()ます。私は特にputfieldコマンドを探しています。それは問題ありません。問題は、 に遭遇したときにputfield、フィールドに割り当てられる変数にアクセスできるようにしたいということです。具体的には、変数の型に関する情報にアクセスしたいと考えています。
現時点では、スタックの一番上にあるものを確認するだけで十分ですが、より一般的な方法で検査する方法があれば、さらに優れています。
ASM を使用してスタック上の変数を検査する方法はありますか?