JVM Bytecode, wie finde ich den Typ der lokalen Variablen?

Question

Ich arbeite an a fork von FernFlower von Jetbrains und ich habe kleinere Verbesserungen hinzugefügt.

Eine Sache, die mich wirklich nervt über FernFlower ist, dass es den Typ der lokalen Variablen basierend auf seinem Wert in bpush/Spush usw. basiert. Jode und Procyon finden irgendwie eine Möglichkeit, den ursprünglichen Wert einer lokalen Variablen zu finden.

Hier ist der ursprüngliche Quellcode.

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); 
} 

Wenn mit FernFlower dekompilierten, gibt er dies:

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); 
} 

Aber wenn sie mit Jode/Procyon dekompilierten gibt es die ursprünglichen lokalen Variablen-Typen:

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); 
    } 

ich mich gefragt, wie ist dies möglich, weil ich dachte, dass keine lokale Variable Typ Informationen zur Kompilierzeit gespeichert ist? Wie kann ich die gleiche Funktionalität zu FernFlower hinzufügen?

Answer 1

Also nach dem Suchen und Debuggen fand ich, dass aus irgendeinem Grund FernFlower entscheidet, einige der Daten in der LocalVariableTable vollständig zu ignorieren.

ist hier Farne Original-Code zum Dekodieren der 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(); 
    } 
} 

Es gibt nun den gleichen Code wie Jode mit der richtigen:

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(); 
    } 
} 

Wenn Sie Informationen wünschen Sie Folgendes hinzufügen müssen eingeben Variablentypen :)

Ich frage mich, warum FernFlower diese Informationen ignorieren wollte.

Answer 2

.class Dateien enthalten optional ein Attribut 'LocalVariableTable' für Debugging-Zwecke. Wenn Sie den Befehl javap -l <Class>.class aufrufen, können Sie die Daten sehen, wenn sie vorhanden sind.