JVM Classfile验证程序如何工作？

Question

JVM类文件验证程序如何执行类验证？

有人可以告诉我这些步骤吗？

Answer 1

有四遍：

1. 基本格式检查（加载类时） - （幻数，检查常量池）。

2. 附加验证（链接时） - 检查最终修饰符，检查直接子类，有效字段，检查常量池。

3. 字节码验证（链接时） - 检查代码数组 - 操作数堆栈是否正常，局部变量，正确的方法调用，字段分配等...

4. 虚拟通行证（代码调用） - 确保存在引用的类/方法并具有正确的描述符。

详细信息请参见4.9.1验证过程

http://java.sun.com/docs/books/jvms/second_edition/html/ClassFile.doc.html

Answer 2

见VM Spec第4.9节。该过程详细说明。