与ASM字节码检测功能不兼容的参数

Question

我在使用Guava库运行一个简单的主程序时遇到了一些麻烦.

我已经使用我的代码从类中检测了类以获取方法参数:ASM中的Java方法参数值

问题是,虽然代码适用于小型项目(也就是河内之塔),但是使用Guava我有错误和例外.

特别是,在测试Joiner.join方法时,我有这个错误:

Exception in thread "Jalen Agent" java.lang.VerifyError: (class: com/google/common/base/Joiner, method: withKeyValueSeparator signature: (Ljava/lang/String;)Lcom/google/common/base/Joiner$MapJoiner;) Incompatible argument to function
at Main.joinBench(Main.java:42)
at Main.main(Main.java:20)

当使用-noverify运行示例时,我有一个例外:

Exception in thread "Jalen Agent" java.lang.ArrayIndexOutOfBoundsException: 1
at com.google.common.base.Joiner.<init>(Joiner.java)
at com.google.common.base.Joiner.on(Joiner.java:71)
at Main.joinBench(Main.java:42)
at Main.main(Main.java:20)

该方法的字节码是一致的:

  public static com.google.common.base.Joiner on(java.lang.String);
      Code:
         0: bipush        1
         2: anewarray     #4                  // class java/lang/Object
         5: astore_1      
         6: aload_1       
         7: bipush        0
         9: aload_0       
        10: aastore       
        11: ldc           #20                 // int 369
        13: ldc           #21                 // String com/google/common/base/Joiner
        15: ldc           #22                 // String on
        17: aload_1       
        18: invokestatic  #28                 // Method jalen/MethodStats.onMethodEntry:(ILjava/lang/String;Ljava/lang/String;[Ljava/lang/Object;)V
        21: new           #2                  // class com/google/common/base/Joiner
        24: dup           
        25: aload_0       
        26: invokespecial #32                 // Method "<init>":(Ljava/lang/String;)V
        29: ldc           #20                 // int 369
        31: invokestatic  #36                 // Method jalen/MethodStats.onMethodExit:(I)V
        34: areturn

我知道错误可能与库版本有关,但主java程序是针对检测库编译的,并使用相同的jar库运行.

有关为什么会发生这种情况的任何想法？它是如何解决的？

谢谢 :)

编辑

以下是在检测之前和之后使用KeyValueSeparator的方法的字节码

原始字节码:

public com.google.common.base.Joiner$MapJoiner withKeyValueSeparator(java.lang.String);
Code:
   0: new           #33                 // class com/google/common/base/Joiner$MapJoiner
   3: dup           
   4: aload_0       
   5: aload_1       
   6: aconst_null   
   7: invokespecial #34                 // Method com/google/common/base/Joiner$MapJoiner."<init>":(Lcom/google/common/base/Joiner;Ljava/lang/String;Lcom/google/common/base/Joiner$1;)V
  10: areturn

检测字节码:

public com.google.common.base.Joiner$MapJoiner withKeyValueSeparator(java.lang.String);
Code:
   0: bipush        1
   2: anewarray     #4                  // class java/lang/Object
   5: astore_1      
   6: aload_1       
   7: bipush        1
   9: aload_1       
  10: aastore       
  11: ldc           #199                // int 390
  13: ldc           #21                 // String com/google/common/base/Joiner
  15: ldc           #200                // String withKeyValueSeparator
  17: aload_1       
  18: invokestatic  #28                 // Method jalen/MethodStats.onMethodEntry:(ILjava/lang/String;Ljava/lang/String;[Ljava/lang/Object;)V
  21: new           #8                  // class com/google/common/base/Joiner$MapJoiner
  24: dup           
  25: aload_0       
  26: aload_1       
  27: aconst_null   
  28: invokespecial #203                // Method com/google/common/base/Joiner$MapJoiner."<init>":(Lcom/google/common/base/Joiner;Ljava/lang/String;Lcom/google/common/base/Joiner$1;)V
  31: ldc           #199                // int 390
  33: invokestatic  #36                 // Method jalen/MethodStats.onMethodExit:(I)V
  36: areturn 

以下是joiner类的完整字节码:

原文:http://pastebin.com/VsccVX18

仪表:http://pastebin.com/xtke1a8y

Answer 1

首先，我不明白为什么这应该与库版本有关。看来字节码未正确检测，这会导致验证失败，并且如果使用 -noverify 则会出现异常。

关于验证错误，说明Joiner.withKeyValueSeparator()有错误。此方法的代码尝试使用不兼容的方法参数调用另一个方法。您能否给出 withKeyValueSeparator() 方法的检测字节码？（最好也是非仪器仪表）

您在 -noverify 中看到的错误发生在 Joiner 的构造函数中，Joiner.on() 方法似乎没有任何问题。再次，您可以发布 Joiner 的字节码吗？方法？（仪表化和非仪表化）