Java ASM库计算的堆栈大小错误

Java ASM库计算的堆栈大小错误,java,bytecode,java-bytecode-asm,bytecode-manipulation,Java,Bytecode,Java Bytecode Asm,Bytecode Manipulation,我使用ASM库生成字节码,方法的“最大堆栈大小”留待自动计算。在运行时,我发现这个值(最大堆栈大小)不正确 我的源代码是: ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS); .... MethodType initType = MethodType.methodType(void.class, clsList); mv = cw.visitMethod(ACC_PUBLIC, "<ini

我使用ASM库生成字节码,方法的“最大堆栈大小”留待自动计算。在运行时,我发现这个值(最大堆栈大小)不正确

我的源代码是:

    ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_MAXS);
     ....
    MethodType initType = MethodType.methodType(void.class, clsList);
    mv = cw.visitMethod(ACC_PUBLIC, "<init>", initType.toMethodDescriptorString(), null, null);
    mv.visitCode();
    mv.visitVarInsn(ALOAD, 0);
    mv.visitMethodInsn(INVOKESPECIAL, "java/lang/invoke/BaseTemplate", "<init>", "()V", false);
    for(int i=0; i< list.size(); i++){
        mv.visitVarInsn(ALOAD, 0);
        mv.visitVarInsn(ALOAD, 1+i);
        mv.visitFieldInsn(PUTFIELD, className, list.get(i).name(), Utils.getFieldDesc(list.get(i).type()));
    }
    mv.visitInsn(RETURN);
    //mv.visitMaxs(2, 4);   //Verify succeeds if uncomment this line.
    mv.visitEnd();

     ....
    //Verify generated code before class loading..
    PrintWriter pw = new PrintWriter(System.out);
    CheckClassAdapter.verify(new ClassReader(cw.toByteArray()), true, pw);

 Class<?> expClass =defineClass(..);
因为施工方法: 堆栈=0,局部变量=4,参数大小=4

正确的堆栈大小为2

还有另一个线程,表示如果其他位置的字节码无效,可能会错误计算最大堆栈大小

所以对我来说,问题是:

  • 生成的文件中的无效字节码在哪里
  • 我仍然喜欢避免调用visitMax()。因为有许多生成的字节码方法,手动计算这些值不是一件容易的工作
您不能忽略对
visitMax
的调用。从:

如果设置了此标志,则该方法返回的方法的参数将被忽略,并根据每个方法的签名和字节码自动计算

换句话说,当您指定标志时,您可以传入任何您想要的内容,例如调用
visitMax(-1,-1)
,以强调您没有提供实际值,但您仍然必须调用该方法来触发正确值的计算


顺便说一下,由于您创建了版本为
51
的类文件,因此您应该指定是否要手动创建
StackMapTable
属性。请注意,这意味着行为。

您不能忽略对
visitMax
的调用。从:

如果设置了此标志,则该方法返回的方法的参数将被忽略,并根据每个方法的签名和字节码自动计算

换句话说,当您指定标志时,您可以传入任何您想要的内容,例如调用
visitMax(-1,-1)
,以强调您没有提供实际值,但您仍然必须调用该方法来触发正确值的计算


顺便说一下,由于您创建了版本为
51
的类文件,因此您应该指定是否要手动创建
StackMapTable
属性。请注意,这意味着行为。

嗨,Shijie,我在ASM 5.0.3和JDK 1.7/8中也遇到了同样的问题。你找到解决这个问题的方法了吗?@RameshSubramanian,最好用COMPUTE\u MAX+COMpUter\u stack选项初始化你的ClassWriter,然后验证你想要生成的方法的字节码序列。如果有不正确的地方,你会发现信息的。嗨,世杰,谢谢你的输入。我也尝试了其他的选择,但没有成功。请查看链接-。我刚刚用Java1.8重新编译了有问题的类websocket/chat/ChatAnnotation,没有任何代码更改,它可以正常工作。你找到解决这个问题的方法了吗?@RameshSubramanian,最好用COMPUTE\u MAX+COMpUter\u stack选项初始化你的ClassWriter,然后验证你想要生成的方法的字节码序列。如果有不正确的地方,你会发现信息的。嗨,世杰,谢谢你的输入。我也尝试了其他的选择,但没有成功。请查看链接-。我刚刚用Java1.8重新编译了有问题的类websocket/chat/ChatAnnotation,没有任何代码更改,它可以工作。
    Classfile /C:/temp/TGWD.class
  Last modified Mar 11, 2015; size 403 bytes
  MD5 checksum f58b96ad4cb0bc9e62f2ae5e11e63e90
public class TGWD extends java.lang.invoke.BaseTemplate
  minor version: 0
  major version: 51
  flags: ACC_PUBLIC, ACC_SUPER

Constant pool:
   #1 = Utf8               TGWD
   #2 = Class              #1             //  TGWD
   #3 = Utf8               java/lang/invoke/BaseTemplate
   #4 = Class              #3             //  java/lang/invoke/BaseTemplate
   #5 = Utf8               guard
   #6 = Utf8               Ljava/lang/invoke/MethodHandle;
   #7 = Utf8               trueTarget
   #8 = Utf8               falseTarget
   #9 = Utf8               <init>
  #10 = Utf8               (Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodHandle;)V
  #11 = Utf8               ()V
  #12 = NameAndType        #9:#11         //  "<init>":()V
  #13 = Methodref          #4.#12         //  java/lang/invoke/BaseTemplate."<init>":()V
  #14 = NameAndType        #5:#6          //  guard:Ljava/lang/invoke/MethodHandle;
  #15 = Fieldref           #2.#14         //  TGWD.guard:Ljava/lang/invoke/MethodHandle;
  #16 = NameAndType        #7:#6          //  trueTarget:Ljava/lang/invoke/MethodHandle;
  #17 = Fieldref           #2.#16         //  TGWD.trueTarget:Ljava/lang/invoke/MethodHandle;
  #18 = NameAndType        #8:#6          //  falseTarget:Ljava/lang/invoke/MethodHandle;
  #19 = Fieldref           #2.#18         //  TGWD.falseTarget:Ljava/lang/invoke/MethodHandle;
  #20 = Utf8               eval
  #21 = Utf8               Code
{
  final java.lang.invoke.MethodHandle guard;
    flags: ACC_FINAL


  final java.lang.invoke.MethodHandle trueTarget;
    flags: ACC_FINAL


  final java.lang.invoke.MethodHandle falseTarget;
    flags: ACC_FINAL


  public TGWD(java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle, java.lang.invoke.MethodHandle);
    flags: ACC_PUBLIC

    Code:
      stack=0, locals=4, args_size=4
         0: aload_0       
         1: invokespecial #13                 // Method java/lang/invoke/BaseTemplate."<init>":()V
         4: aload_0       
         5: aload_1       
         6: putfield      #15                 // Field guard:Ljava/lang/invoke/MethodHandle;
         9: aload_0       
        10: aload_2       
        11: putfield      #17                 // Field trueTarget:Ljava/lang/invoke/MethodHandle;
        14: aload_0       
        15: aload_3       
        16: putfield      #19                 // Field falseTarget:Ljava/lang/invoke/MethodHandle;
        19: return        

  public void eval();
    flags: ACC_PUBLIC

    Code:
      stack=0, locals=1, args_size=1
         0: return        
}
org.objectweb.asm.tree.analysis.AnalyzerException: Error at instruction 0: Insufficient maximum stack size.
    at org.objectweb.asm.tree.analysis.Analyzer.analyze(Unknown Source)
    at org.objectweb.asm.util.CheckClassAdapter.verify(Unknown Source)
    at org.objectweb.asm.util.CheckClassAdapter.verify(Unknown Source)