JVM-学习笔记总结-类的验证

【深入理解java虚拟机】学习随记

【验证】 是连接的第一个阶段，这一阶段的目的是确保Class文件的字节流中包含的信息符合《JAVA虚拟机规范》的全部约束要求，确保虚拟机的安全性。

验证主要分以下三个阶段

• 文件格式验证

                验证字节流是否符合class文件格式的规范，并且被当前版本虚拟机处理，验证点如下：1. 是否以魔数0xACFEBABE开头；2 主次版本号是都在当前虚拟机接受范围之内； 3 常量池中的常量是否又不被支持的常量类型（检查常量tag标志）；3 指向常量的各种索引值中是否又指向不存在的常量和不符合类型的常量·····

•   元数据验证       

                对字节码描述的信息进行语义分析，保证其描述的信息符合《java语言规范》的要求，这个阶段包含可能的验证点如下：1.这个类是否有父类（Object除外。其他的都有父类）；2. 这个类的父类是否继承了不允许被继承的类（被final修饰的类）；3. 如果这个类不是抽象类，是否实现了其父类或者接口之中要求实现的所有方法；4. 类中的字段、方法是否与父类产生矛盾（例如覆盖了父类的final字段；出现了不符合规则的方法重载；）········

• 字节码验证

                整个验证阶段最复杂的一个阶段。通过数据流的分析和控制流的分析，确定程序语义的合法性，逻辑性。

• 符号引用验证

                发生在虚拟机将符号引用转化为直接引用的时候，这个转化动作将发生在连接的第三个阶段-解析