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