VerifyError是JVM在类首次主动使用时连接阶段因字节码不合法（如栈类型不匹配、StackMapTable缺失或跳转越界）抛出的不可捕获Error，需结合javap -c -l和-javap -v定位具体指令与类型快照。
验证阶段出错（如 VerifyError、IncompatibleClassChangeError）不是“类没找到”，而是“类找到了，但内容不合法”。它发生在类首次主动使用时的连接阶段，属于 JVM 强制执行的安全检查，无法捕获，必须从字节码层面定位问题。
看懂 VerifyError 的关键线索
错误信息里通常包含三类关键信息：
-
出问题的类和方法名：例如
com.example.Service.init -
字节码偏移量（offset）：如
Expecting to find object reference on stack, at offset 42 - 违反的具体规则：如栈类型不匹配、跳转目标越界、继承关系冲突等
这些不是模糊提示，而是验证器在某条指令上失败的确切位置。别跳过，要对着看。
用 javap 定位具体字节码问题
拿到报错类后，用以下命令反编译并比对：
-
javap -c -l com.example.Service：查看指令列表和行号表，找到 offset 42 对应哪一行、哪条指令（如aload_0或invokevirtual） -
javap -v com.example.Service：重点看StackMapTable属性是否缺失或不一致——高版本 JDK 要求严格匹配，混淆或手动改字节码后常丢这个表 - 若项目含多个同名类（如不同 JAR 都有
Service.class），分别对每个 JAR 执行javap -cp xxx.jar -v com.example.Service，逐个对比方法签名、字段描述符、接口实现和 StackMapTable
确认类来源与加载路径
验证前类必须先被加载，所以得先搞清 JVM 实际加载的是哪个版本：
- 启动时加
-verbose:class，运行到报错前，找[Loaded com.example.Service from ...]这一行，锁定真实路径 - 在 IDE 中按住 Ctrl/Cmd 点击类名，看“Go to Declaration”弹出几个候选；多个说明工程里已混入多版本源或 class
- Maven 项目执行
mvn dependency:tree -Dincludes=com.example:*，查是否有重复引入，再进target/dependency/用jar -tf xxx.jar | grep Service确认实际存在
排查常见诱因
以下情况高频触发验证失败：
-
JDK 版本不兼容：用 JDK 17 编译的类，在 JDK 8 上运行 → 报
Unsupported major.minor version（属文件格式验证失败） -
混淆工具删了 StackMapTable：ProGuard 或 R8 默认可能 strip 掉该属性 → 加
-keepattributes StackMapTable保留 -
动态生成字节码未重计算属性：用 ASM 修改方法体后，忘了调用
ClassWriter.COMPUTE_FRAMES或手动补StackMapTable -
同包同类但字段/方法签名不一致：比如 A.jar 里
public void save(User u)，B.jar 里是public void save(String s)，运行时加载了 A，却调用了 B 的接口 → 验证阶段发现方法引用解析后类型不匹配
不复杂但容易忽略
