JVM命令がJavassistで操作するオペランドスタックの値を取得する方法は？

Question

Javassistコード属性を編集するためのCodeIteratorを提供します。この属性は、メソッド内のすべての命令を横断するために使用できます。 JVM命令の

、それは常にspecificationを次の バイナリアセンブリは異なり mnemonic operand1 operand2 ... 、スタックベースのJVMの命令は、オペランドスタック上の値をとります。例としてifgeを取る。命令は次の形式を持ちます if<cond> branchbyte1 branchbyte2 がスタック0以上の場合にのみ、branchbyte1およびbranchbyte2がジャンプのターゲットになります。

私の質問は、Javassistを使用してオペランドスタックにvalueを得ることができますか？

Answer 1

答えはjavassist.bytecode.analysisモジュールです。 JVM仕様によると、frameは、データと部分的な結果を格納するために使用されます。各フレームには、独自のローカル変数の配列、独自のオペランドスタック、および実行時constプールへの参照があります。

javassist.bytecode.analysis.FramePrinterには、各命令でフレームごとに印刷する方法が表示されています（print）。このコードから

/** 
* Prints the instructions and the frame states of the given method. 
*/ 
public void print(CtMethod method) { 
    stream.println("\n" + getMethodString(method)); 
    MethodInfo info = method.getMethodInfo2(); 
    ConstPool pool = info.getConstPool(); 
    CodeAttribute code = info.getCodeAttribute(); 
    if (code == null) 
     return; 

    Frame[] frames; 
    try { 
     frames = (new Analyzer()).analyze(method.getDeclaringClass(), info); 
    } catch (BadBytecode e) { 
     throw new RuntimeException(e); 
    } 

    int spacing = String.valueOf(code.getCodeLength()).length(); 

    CodeIterator iterator = code.iterator(); 
    while (iterator.hasNext()) { 
     int pos; 
     try { 
      pos = iterator.next(); 
     } catch (BadBytecode e) { 
      throw new RuntimeException(e); 
     } 

     stream.println(pos + ": " + InstructionPrinter.instructionString(iterator, pos, pool)); 

     addSpacing(spacing + 3); 
     Frame frame = frames[pos]; 
     if (frame == null) { 
      stream.println("--DEAD CODE--"); 
      continue; 
     } 
     printStack(frame); 

     addSpacing(spacing + 3); 
     printLocals(frame); 
    } 

} 

我々が見ることができ、：

をフレームがframes = (new Analyzer()).analyze(method.getDeclaringClass(), info);

NOTEにより取得することができ、これが唯一のスタック項目の型情報を返しますが、それは与えるものではありません変数名。

各命令が使用する値については、命令の仕様に従って異なる方法で扱う必要があります。