如何克服JDK 7/8应用程序的“ VerifyError：Expecting a stackmap frame”？

Question

我正在将ASM 5.0.3字节码修改库与Tomcat 8和JDK 8一起使用。

我的意图是将字节码成功注入所有类中。 但是，我遇到以下错误：

java.lang.VerifyError: Expecting a stackmap frame at branch target 18
Exception Details:
  Location:
    com/sun/crypto/provider/SunJCE.getInstance()Lcom/sun/crypto/provider/SunJCE; @0: getstatic
  Reason:
    Expected stackmap frame at this location.
  Bytecode:
    0x0000000: b200 0bc7 000b bb00 3659 b700 0cb0 b200
    0x0000010: 0bb0 bf                                
  Exception Handler Table:
    bci [0, 18] => handler: 18
  Stackmap Table:
    append_frame(@14,Integer)

            at java.lang.Class.getDeclaredConstructors0(Native Method)
            at java.lang.Class.privateGetDeclaredConstructors(Unknown Source)
            at java.lang.Class.getConstructor0(Unknown Source)
            at java.lang.Class.newInstance(Unknown Source)
            at sun.security.jca.ProviderConfig$2.run(Unknown Source)
            at sun.security.jca.ProviderConfig$2.run(Unknown Source)
           ......Some more uninteresting lines in the stack trace.......
            at sun.reflect.NativeMethodAccessorImpl.invoke(Unknown Source)
            at sun.reflect.DelegatingMethodAccessorImpl.invoke(Unknown Source)
            at java.lang.reflect.Method.invoke(Unknown Source)
            at org.apache.catalina.startup.Bootstrap.load(Bootstrap.java:310)
            at org.apache.catalina.startup.Bootstrap.main(Bootstrap.java:484)

我用来调用ASM方法的代码的关键部分如下：

ClassWriter classWriter = new  ClassWriter(classReader, ClassWriter.COMPUTE_MAXS);

classReader.accept(myClassVisitor, ClassReader.EXPAND_FRAMES);

上面的代码与JDK 6应用程序的字节码修改完美配合。 该错误仅针对JDK 7和JDK 8应用程序显示。

各种博客文章和stackoverflow文章都指向使用-XX：-UseSplitVerifier或-noverify标志。 但是，这似乎是一个短期解决方法，特别是考虑到JDK 8中不推荐使用-XX：-UseSplitVerifier标志。我想实现一个永久解决方案，而不是依赖将来在Java发行版中最终不支持的标志。

先感谢您。

编辑：关于Adam使用COMPUTE_FRAMES而不是COMPUTE_MAXS建议，此链接ASM-java.lang.VerifyError：操作数堆栈溢出Exception总结了到目前为止COMPUTE_FRAMES的错误。 目前，我无法使用COMPUTE_MAXS或COMPUTE_FRAMES在JDK 7/8上进行COMPUTE_FRAMES 。

Answer 1

将ClassWriter#COMPUTE_FRAMES标志用于要重新计算的堆栈映射帧。 字节码验证程序使用JDK 7 on上的 typechecker（堆栈映射），因此这就是您的代码可在JDK 6上运行的原因。

请注意（来自COMPUTE_FRAMES JavaDoc）：

computeFrames暗含computeMaxs

Answer 2

在扩展ClassWriter类并覆盖方法getCommonSuperClass之后，我解决了该问题。

请使用Java 1.8检查此ASM 5.0.3与Java.lang.VerifyError的不正确的maxStack：操作数堆栈溢出