Java虚拟机安全性-class文件检验器，看完请务必收藏！

前言

类装载器前面已经介绍完了，下面介绍class文件检验器，它主要是为了保证class文件内部结构的正确性，并且这些class文件相互间协调一致，如果一旦发现有问题，就会把异常抛出。

正文

class文件是由Java编译器产生的，但是虚拟基并不知道某个特定的class文件是如何被创建的，class文件实质上就是一个字节序列，所以Java虚拟机没有办法分辨特定的class文件是由正常的Java编译器产生的，还有由黑客生成的，所以，所有Java虚拟机的实现必须有一个class文件检验器，提前对这些class文件进行验证，以保证这些定义的类型都可以安全可靠的运行。

class文件验证器

在使用class文件过程中，如果某个有漏洞的编译器或者是黑客，产生了一个class文件，而在这个class文件中，包含了恶意的方法，这个方法的字节码中含有一条跳转到方法之外的指令，那么，一旦这个方法被调用，它将导致虚拟机的奔溃，所以处于对健壮性的考虑，由class文件验证器提前检验装载的字节码的完整性的非常重要的。

class文件检验器在字节码执行之前，必须完成大部分检验工作，它只在执行前而不是在执行中对字节码进行一次分析(并检验它的完整性），每次遇到一个跳转指令都要进行检验，虚拟机要确认所有的跳转指令会到达另一条合法的指令，而且这条指令是在这个方法的字节码流中的，在大多数情况下&#