链接阶段中的验证阶段

文件格式验证

开始

检查常量池中描述的类是否存在，访问的方法或者字段是否存在且具有足够的权限等内容。

链接阶段中的验证阶段

-Xverify:none 取消验证

符号引用验证

检查文件是否以16进制的cafebaby开头，版本号是否正确等。

元数据验证

检查类是否有父类，是否继承了final类，非抽象类是否实现了所有的抽象方法等

运行检查，栈数据类型和操作码操作参数的匹配检查，跳转指令指向位置的合理性检查等

字节码验证