JVM字节码,我怎样才能找到局部变量的类型？

Question

我正在研究Jetbrains的FernFlower 分叉,我一直在为它添加一些小改进.

关于FernFlower真正让我恼火的一件事是它基于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/Procyon进行反编译时,它会输出原始的局部变量类型:

  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

.class文件可以选择包含“LocalVariableTable”属性以用于调试目的。如果调用该命令，javap -l <Class>.class您可以看到数据（如果存在）。

Answer 2

因此，经过环顾和调试后，我发现由于某种原因，FernFlower 决定完全忽略 LocalVariableTable 中的一些数据。

这是 ferns 解码 LocalVariableTable 的原始代码：

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

如果您需要类型信息，则需要添加以下内容：

@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 相同的代码，并具有正确的变量类型:)

我想知道为什么 FernFlower 选择忽略这个信息。