JVM类文件验证器是如何工作的?

有四个通道:

1. 基本格式检查 (加载类时)-(幻数,检查常量池)。

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

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

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

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

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

见第4.9节 VM Spec . 详细阐述了该过程。