Question

您好我的ASM有点问题。它产生一个字节码错误的类：

Exception in thread "main" java.lang.VerifyError: Bad instruction
Exception Details:
  Location:
    me/test/Main.<clinit>()V @0: wide
  Reason:
    Error exists in the bytecode

    at java.lang.Class.getDeclaredMethods0(Native Method)
    at java.lang.Class.privateGetDeclaredMethods(Unknown Source)
    at java.lang.Class.privateGetMethodRecursive(Unknown Source)
    at java.lang.Class.getMethod0(Unknown Source)
    at java.lang.Class.getMethod(Unknown Source)
    at sun.launcher.LauncherHelper.validateMainClass(Unknown Source)
    at sun.launcher.LauncherHelper.checkAndLoadMain(Unknown Source)

当我使用以下代码将代码注入<clinit>方法时，该方法使用“key”（byte[]）变量填充静态字节数组：

   if (key.length > 128)
        this.visitVarInsn(SIPUSH, key.length);
    else
        this.visitVarInsn(BIPUSH, key.length);
    this.visitVarInsn(NEWARRAY, 8);
    for (int i = 0; i < key.length; i++) {
        this.visitInsn(DUP);
        if (i > 127) {
            this.visitVarInsn(SIPUSH, i + 32768);
        } else if (i < 6) {
            switch (i) {
                case 0:
                    this.visitInsn(ICONST_0);
                    break;
                case 1:
                    this.visitInsn(ICONST_1);
                    break;
                case 2:
                    this.visitInsn(ICONST_2);
                    break;
                case 3:
                    this.visitInsn(ICONST_3);
                    break;
                case 4:
                    this.visitInsn(ICONST_4);
                    break;
                case 5:
                    this.visitInsn(ICONST_5);
                    break;
                default:
                    System.out.println("Logic mistake!");
                    break;
            }
        }
        else {
            this.visitVarInsn(BIPUSH, i);
        }
        if (key[i] < 6 && key[i] >= 0) {
            switch (key[i]) {
                case 0:
                    this.visitInsn(ICONST_0);
                    break;
                case 1:
                    this.visitInsn(ICONST_1);
                    break;
                case 2:
                    this.visitInsn(ICONST_2);
                    break;
                case 3:
                    this.visitInsn(ICONST_3);
                    break;
                case 4:
                    this.visitInsn(ICONST_4);
                    break;
                case 5:
                    this.visitInsn(ICONST_5);
                    break;
                default:
                    System.out.println("Logic mistake!");
                    break;
            }
        } else {
            this.visitVarInsn(BIPUSH, key[i]);
        }
        this.visitInsn(BASTORE);

Answer 1

错误代码的主要原因是您多次滥用visitVarInsn。

visitVarInsn用于其参数是局部变量索引的指令。由于它取决于特定指令，如何将参数编码到指令中，因此该方法在与指令一起使用时会产生错误的代码，而不是为此而设计的。所以，而不是

this.visitVarInsn(NEWARRAY, 8);

你应该使用

this.visitIntInsn(NEWARRAY, Opcodes.T_BYTE);

这同样适用于this.visitVarInsn(SIPUSH, key.length);和this.visitVarInsn(BIPUSH, key.length);的错误调用，但在这些情况下，您的重复代码中还有其他错误，例如对你的第一次出现，

if (key.length > 128)
    this.visitVarInsn(SIPUSH, key.length);
else
    this.visitVarInsn(BIPUSH, key.length);

当常量值正好为128时，

将中断。此外，this.visitVarInsn(SIPUSH, i + 32768);除了使用错误的方法外还包含虚假的+ 32768。

通常，您不应重复此代码以生成最佳指令。或者，创建一个实用程序方法，其正确性只需要证明一次，或使用现有方法。例如，如果您继承InstructionAdapter而非直接来自MethodVisitor，则可以使用iconst(int)自动生成ICONST_x，BIPUSH，SIPUSH或LDC。或者，当您从GeneratorAdapter继承时，可以使用push(int)来实现相同目标。

因此使用GeneratorAdapter，代码就像

一样简单

push(key.length);
newArray(Type.BYTE_TYPE);
for(int i = 0; i < key.length; i++) {
    this.visitInsn(Opcodes.DUP);
    push(i);
    push(key[i]);
    visitInsn(Opcodes.BASTORE);
}

使用ASM修改<clinit>

1 个答案: