ASM: Chuyển đổi trạng thái

Question

Tôi muốn viết một MethodVisitor biến đổi các lệnh LDC dành cho phép nhân.

Ví dụ bytecode:

ldC#26 
imul 

này về cơ bản đẩy một hằng số và sau đó sẽ nhân nó.

Nó phải là một sự chuyển đổi trạng thái vì trước tiên tôi phải kiểm tra xem nó có nhân và, nếu có, tôi cần quay trở lại lệnh ldc và sửa đổi hằng số. Tôi không hoàn toàn chắc chắn làm thế nào tôi sẽ đi về điều này, và tôi không biết làm thế nào để sửa đổi các hằng số (khi tôi đã cố gắng để vượt qua một giá trị khác nhau, giá trị cũ vẫn còn trong hồ bơi liên tục).

Edit:

public class AdditionTransformer extends MethodAdapter { 
    boolean replace = false; 
    int operand = 0; 

    AdditionTransformer(MethodVisitor mv) { 
     super(mv); 
    } 

    @Override 
    public void visitInsn(int opcode) { 
     if (opcode == IMUL && replace) { 
      operand *= 2; 
      visitLdcInsn(operand); 
      replace = false; 
     } 
     mv.visitInsn(opcode); 
    } 

    @Override 
    public void visitLdcInsn(Object cst) { 
     if (cst instanceof Integer && !replace) { 
      operand = (Integer) cst; 
      replace = true; 
     } else { 
      mv.visitLdcInsn(cst); 
     } 
    } 
} 

Đây là những gì tôi có, nhưng nó không loại bỏ các giá trị cũ trong hồ bơi thường xuyên, và nó có thể có lỗi.

Answer 1

Nếu bạn quan tâm đến việc sửa đổi bytecode theo cách như vậy, bạn có thể muốn xem xét ASM tree API. Bạn có thể dễ dàng thay thế LdcInsnNode.cst thông qua giao diện cây kiểu DOM thoải mái hơn so với giao diện khách truy cập kiểu SAX mà bạn đang cố gắng sử dụng.

Answer 2

Những gì bạn có là đúng, nhưng không phục vụ cho các loại opcodes khác được gọi sau LDL, vì vậy bạn sẽ gây ra một số vỡ ở đó, vì họ sẽ tìm kiếm thứ gì đó trên ngăn xếp không có ở đó (vì bạn không truy cập vào ldc). Tôi không như vậy chắc chắn về loại bỏ hằng hiện có, nhưng bạn có thể thay thế liên tục như vậy:

@Override 
public void visitInsn(int opcode) { 
    if (opcode == IMUL && replace) { 
     operand *= 2; 
     mv.visitInsn(POP); 
     mv.visitLdcInsn(operand); 
     replace = false; 
    } 
    mv.visitInsn(opcode); 
} 

@Override 
public void visitLdcInsn(Object cst) { 
    if (cst instanceof Integer && !replace) { 
     operand = (Integer) cst; 
     replace = true; 
    } 
    mv.visitLdcInsn(cst); 
}  

Nói cách khác, lúc nào cũng truy cập vào "LDC". Nếu bạn sau đó nhìn thấy một IMUL tiến hành nó, bật ngăn xếp, chèn một hằng số mới, và sau đó truy cập vào các opcode IMUL. Bạn sẽ cần phải làm một chút công việc để thực hiện điều này hoàn toàn an toàn, trong trường hợp một số phương pháp khác được truy cập sau khi truy cập vào ldc và trước IMUL. Để bị hoang tưởng, bạn có thể ghi đè tất cả các phương thức của khách truy cập và nếu nó không phải là visitInsn hoặc không phải IMUL, bạn sẽ truy cập vào ldc và đặt replace = false.

Thay thế hoàn toàn hằng số phức tạp hơn một chút. Bạn cần phải nhớ các hằng số nào đã được nhìn thấy bởi tất cả các phương thức được truy cập trong lớp cho đến giờ. Nếu bạn chưa nhìn thấy hằng số đó, bạn chỉ có thể thay thế giá trị khi bạn truy cập vào ldc.