【问题标题】:How would I go about parsing the Java class file constant pool?我将如何解析 Java 类文件常量池?
【发布时间】:2015-11-22 04:03:45
【问题描述】:

根据https://en.wikipedia.org/wiki/Java_class_file#General_layout - 类文件的Java 常量池从文件的10 个字节开始。

到目前为止,我已经能够解析之前的所有内容(检查它是否是类文件、主要/次要版本、常量池大小),但我仍然不明白如何解析常量池。比如,是否有用于指定方法引用和其他内容的操作码?

有什么方法可以在文本以十六进制表示之前引用每个十六进制值以找出以下值是什么?

我是否应该通过 NOP (0x00) 拆分每组条目,然后解析不是文本值的每个字节?

例如,我如何才能准确计算出这些值分别代表什么?

【问题讨论】:

  • 所有这些都在 JVM 规范中,或者您可以查看已经完成所有这些的 javap 的源代码,或者使用也已经完成所有这些的 BCEL 之类的东西。例如,请参阅stackoverflow.com/q/14434320/438992
  • JVM 规范的相关部分:section 4.1
  • 读池很简单。我有一个在 Python 中这样做的例子 - github.com/TkTech/Jawa/blob/master/jawa/constants.py#L399 你会想要习惯阅读 JVM 规范,因为理解它们是使用 Class 文件的必要要求。
  • @DaveNewton 我通常会使用 ASM 或 BCEL 之类的东西,但这是一个重新创建轮子的项目,所以我可以理解它是如何在引擎盖下工作的。到目前为止,我只是对如何确定常量表中的每个条目是哪种常量感到困惑。我想我只需要确定标签,然后每个常量的结构都会不同。

标签: java bytecode pool


【解决方案1】:

您需要的唯一相关的类文件文档是The Java® Virtual Machine Specification,尤其是Chapter 4. The class File Format,如果您要解析的不仅仅是常量池,Chapter 6. The Java Virtual Machine Instruction Set

常量池由可变长度的项目组成,其第一个字节决定了它的类型,而类型又决定了大小。大多数项目由一个或两个指向其他项目的索引组成。不需要任何 3rd 方库的简单解析代码可能如下所示:

public static final int HEAD=0xcafebabe;
// Constant pool types
public static final byte CONSTANT_Utf8               = 1;
public static final byte CONSTANT_Integer            = 3;
public static final byte CONSTANT_Float              = 4;
public static final byte CONSTANT_Long               = 5;
public static final byte CONSTANT_Double             = 6;
public static final byte CONSTANT_Class              = 7;
public static final byte CONSTANT_String             = 8;
public static final byte CONSTANT_FieldRef           = 9;
public static final byte CONSTANT_MethodRef          =10;
public static final byte CONSTANT_InterfaceMethodRef =11;
public static final byte CONSTANT_NameAndType        =12;
public static final byte CONSTANT_MethodHandle       =15;
public static final byte CONSTANT_MethodType         =16;
public static final byte CONSTANT_InvokeDynamic      =18;
public static final byte CONSTANT_Module             =19;
public static final byte CONSTANT_Package            =20;

static void parseRtClass(Class<?> clazz) throws IOException, URISyntaxException {
    URL url = clazz.getResource(clazz.getSimpleName()+".class");
    if(url==null) throw new IOException("can't access bytecode of "+clazz);
    Path p = Paths.get(url.toURI());
    if(!Files.exists(p))
        p = p.resolve("/modules").resolve(p.getRoot().relativize(p));
    parse(ByteBuffer.wrap(Files.readAllBytes(p)));
}
static void parseClassFile(Path path) throws IOException {
    ByteBuffer bb;
    try(FileChannel ch=FileChannel.open(path, StandardOpenOption.READ)) {
        bb=ch.map(FileChannel.MapMode.READ_ONLY, 0, ch.size());
    }
    parse(bb);
}
static void parse(ByteBuffer buf) {
    if(buf.order(ByteOrder.BIG_ENDIAN).getInt()!=HEAD) {
        System.out.println("not a valid class file");
        return;
    }
    int minor=buf.getChar(), ver=buf.getChar();
    System.out.println("version "+ver+'.'+minor);
    for(int ix=1, num=buf.getChar(); ix<num; ix++) {
        String s; int index1=-1, index2=-1;
        byte tag = buf.get();
        switch(tag) {
            default:
                System.out.println("unknown pool item type "+buf.get(buf.position()-1));
                return;
            case CONSTANT_Utf8: decodeString(ix, buf); continue;
            case CONSTANT_Class: case CONSTANT_String: case CONSTANT_MethodType:
            case CONSTANT_Module: case CONSTANT_Package:
                s="%d:\t%s ref=%d%n"; index1=buf.getChar();
                break;
            case CONSTANT_FieldRef: case CONSTANT_MethodRef:
            case CONSTANT_InterfaceMethodRef: case CONSTANT_NameAndType:
                s="%d:\t%s ref1=%d, ref2=%d%n";
                index1=buf.getChar(); index2=buf.getChar();
                break;
            case CONSTANT_Integer: s="%d:\t%s value="+buf.getInt()+"%n"; break;
            case CONSTANT_Float: s="%d:\t%s value="+buf.getFloat()+"%n"; break;
            case CONSTANT_Double: s="%d:\t%s value="+buf.getDouble()+"%n"; ix++; break;
            case CONSTANT_Long: s="%d:\t%s value="+buf.getLong()+"%n"; ix++; break;
            case CONSTANT_MethodHandle:
                s="%d:\t%s kind=%d, ref=%d%n"; index1=buf.get(); index2=buf.getChar();
                break;
             case CONSTANT_InvokeDynamic:
                s="%d:\t%s bootstrap_method_attr_index=%d, ref=%d%n";
                index1=buf.getChar(); index2=buf.getChar();
                break;
        }
        System.out.printf(s, ix, FMT[tag], index1, index2);
    }
}
private static String[] FMT= {
    null, "Utf8", null, "Integer", "Float", "Long", "Double", "Class",
    "String", "Field", "Method", "Interface Method", "Name and Type",
    null, null, "MethodHandle", "MethodType", null, "InvokeDynamic",
    "Module", "Package"
};

private static void decodeString(int poolIndex, ByteBuffer buf) {
    int size=buf.getChar(), oldLimit=buf.limit();
    buf.limit(buf.position()+size);
    StringBuilder sb=new StringBuilder(size+(size>>1)+16)
        .append(poolIndex).append(":\tUtf8 ");
    while(buf.hasRemaining()) {
        byte b=buf.get();
        if(b>0) sb.append((char)b);
        else
        {
            int b2 = buf.get();
            if((b&0xf0)!=0xe0)
                sb.append((char)((b&0x1F)<<6 | b2&0x3F));
            else
            {
                int b3 = buf.get();
                sb.append((char)((b&0x0F)<<12 | (b2&0x3F)<<6 | b3&0x3F));
            }
        }
    }
    buf.limit(oldLimit);
    System.out.println(sb);
}

不要对getChar() 调用感到困惑,我将它们用作获取无符号短路的便捷方法,而不是getShort()&amp;0xffff

上面的代码只是打印对其他池项的引用索引。为了解码项目,您可以首先将所有项目的数据存储到随机访问数据结构中,即数组或List,因为项目可能引用具有更高索引号的项目。请注意从索引1 开始...

【讨论】:

  • 顺便说一句,字符串常量和 utf-8 常量有什么区别?字符串常量是否表示实际的字符串值,而 utf-8 常量是否表示方法名称、方法描述符或..?
  • utf-8 常量存储实际的字符数据,无论用途如何。它们是唯一保存实际字符数据的常量,而所有其他常量将直接或间接引用utf-8 常量。所以是的,string 常量代表实际的String,但它仅包含对utf-8 常量的引用。同样,类名、成员名和签名引用utf-8 常量。此外,类文件属性具有引用 utf-8 常量的名称索引。
猜你喜欢
  • 1970-01-01
  • 2019-10-17
  • 2013-05-17
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 2023-04-01
相关资源
最近更新 更多