链接阶段中的验证阶段
2023-09-18 21:10:40 4 举报链接阶段中的验证阶段
作者其他创作
大纲/内容
文件格式验证
开始
检查常量池中描述的类是否存在，访问的方法或者字段是否存在且具有足够的权限等内容。
链接阶段中的验证阶段
-Xverify:none 取消验证
符号引用验证
检查文件是否以16进制的cafebaby开头，版本号是否正确等。
元数据验证
检查类是否有父类，是否继承了final类，非抽象类是否实现了所有的抽象方法等
运行检查，栈数据类型和操作码操作参数的匹配检查，跳转指令指向位置的合理性检查等
字节码验证
0 条评论
下一页
