JVMバイトコード、ローカル変数のタイプはどのようにして見つけることができますか？

Question

私はJetbrainsのFernFlowerのa forkに取り組んでいます。

FernFlowerについて私を本当に悩ますことの1つは、bpush/spushなどの値に基づいてローカル変数の型を決定することです.JodeとProcyonは何とかローカル変数の元の値を見つける方法を見つけます。

ここに元のソースコードがあります。

public static void main(String[] args) throws Exception { 
    int hello = 100; 
    char a2 = 100; 
    short y1o = 100; 
    int hei = 100; 

    System.out.println(a2+" "+y1o+", "+hei+", "+hello); 
} 

FernFlowerを逆コンパイルすると、それはこの出力：

public static void main(String[] args) throws Exception { 
    byte hello = 100; 
    char a2 = 100; 
    byte y1o = 100; 
    byte hei = 100; 
    System.out.println(a2 + " " + y1o + ", " + hei + ", " + hello); 
} 

をしかしJODE /プロキオンで逆コンパイルするとき、それは、元のローカル変数の型を出力：

public static void main(String[] args) 
    throws Exception 
    { 
    int hello = 100; 
    char a2 = 'd'; 
    short y1o = 100; 
    byte hei = 100; 

    System.out.println(a2 + " " + y1o + ", " + hei + ", " + hello); 
    } 

私がどのように思っていましたコンパイル時にローカル変数型情報が格納されていないと思ったのでこれが可能ですか？ FernFlowerに同じ機能を追加するにはどうしたらいいですか？

Answer 1

周辺を見て、何らかの理由でFernFlowerがLocalVariableTableのデータのいくつかを完全に無視することを決めたのを発見しました。

@Override 
public void initContent(ConstantPool pool) throws IOException { 
    DataInputFullStream data = stream(); 

    int len = data.readUnsignedShort(); 
    if (len > 0) { 
     mapVarNames = new HashMap<Integer, String>(len); 
     mapVarTypes = new HashMap<Integer, String>(len); 
     for (int i = 0; i < len; i++) { 
      int start = data.readUnsignedShort(); 
      int end = start + data.readUnsignedShort(); 
      int nameIndex = data.readUnsignedShort(); 
      int typeIndex = data.readUnsignedShort(); 
      int varIndex = data.readUnsignedShort(); 
      mapVarNames.put(varIndex, pool.getPrimitiveConstant(nameIndex).getString()); 
      mapVarTypes.put(varIndex, pool.getPrimitiveConstant(typeIndex).getString()); 
     } 
    } else { 
     mapVarNames = Collections.emptyMap(); 
     mapVarTypes = Collections.emptyMap(); 
    } 
} 

それは今、適切にJODEと同じコードを出力します。あなたは以下を追加する必要が

public void initContent(ConstantPool pool) throws IOException { 
    DataInputFullStream data = stream(); 

    int len = data.readUnsignedShort(); 
    if (len > 0) { 
     mapVarNames = new HashMap<Integer, String>(len); 
     for (int i = 0; i < len; i++) { 
      data.discard(4); 
      int nameIndex = data.readUnsignedShort(); 
      data.discard(2); 
      int varIndex = data.readUnsignedShort(); 
      mapVarNames.put(varIndex, pool.getPrimitiveConstant(nameIndex).getString()); 
     } 
    } else { 
     mapVarNames = Collections.emptyMap(); 
    } 
} 

あなたが情報を入力したい場合：ここで

はLocalVariableTable復号するためのシダ元のコードです変数型:)

FernFlowerがこの情報を無視する理由を知りました。

Answer 2

.classファイルには、オプションでデバッグ用の「LocalVariableTable」属性が含まれています。コマンドjavap -l <Class>.classを呼び出すと、データがある場合はそのデータを見ることができます。