ASM手动插入StackMapTable后插桩类抛出VerifyError: bad offset问题求助

核心错误点 #

• 注释了方法入口的初始栈帧声明代码，Java字节码的StackMapTable强制要求方法执行的第一个字节码位置（bci=0）必须显式声明初始栈帧，用来描述方法刚进入时的本地变量表、操作数栈状态。缺失该初始帧会直接导致验证器无法识别栈映射规范，抛出对应错误。
• catchEnd位置声明的F_SAME帧参数错误：如果当前方法是实例方法，本地变量表第一个位置是this引用，传入0个本地变量的配置和实际状态不符；如果方法带参数，也需要把参数对应的类型按顺序加入本地变量表配置。
• visitTryCatchBlock调用时机过早：在所有关联Label还未调用visitLabel标记位置时就先注册了异常表，容易导致ASM计算的异常表偏移和实际字节码位置不匹配，现有异常表范围是[0,78]对应handler 81，需要确认该范围和实际try块的字节码位置完全一致。

修复步骤 #

1. 恢复被注释的方法入口初始栈帧调用，正确构造initLocals数组：
   • 实例方法：initLocals第一个元素为当前类的全限定名，后续按顺序添加方法每个参数的类型
   • 静态方法：initLocals按顺序添加方法每个参数的类型
2. 调整visitTryCatchBlock的调用位置，放到visitEnd方法中所有Label都完成visitLabel调用之后，确保ASM能正确计算所有偏移。
3. 修正catchEnd位置的栈帧配置：F_SAME代表本地变量表和上一帧完全一致，操作数栈为空，不需要手动传0, null，如果需要显式声明要和该位置的实际状态匹配。
4. 修复后可以用javap -v 插桩后的类文件名命令输出完整字节码信息，核对StackMapTable中每个帧的bci是否和跳转目标、异常handler位置完全对应。

内容的提问来源于stack exchange，提问作者Instein