ASM : Stateful Transformation

Question

곱셈을위한 LDC 명령어를 변환하는 MethodVisitor를 작성하고 싶습니다.

예 바이트 코드 :

ldC#26 
imul 

이것은 기본적으로 상수 푸시 후 곱한다.

우선 상태가 변환되어야합니다. 왜냐하면 먼저 곱셈을하는지 확인해야하고, 그렇다면 ldc 명령으로 돌아가서 상수를 수정해야하기 때문입니다. 나는 이것에 대해 어떻게 생각하는지 완전히 모르겠다. 그리고 상수를 수정하는 법을 모르겠다. (다른 값을 전달하려했을 때, 오래된 값은 여전히 ​​상수 풀에 남아 있었다.)

편집 :

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); 
     } 
    } 
} 

이 내가 가지고있는,하지만 상수 풀의 이전 값을 제거하지 않습니다, 그것은 버그가있을 수 있습니다.

Answer 1

이와 같은 방식으로 바이트 코드를 수정하려는 경우 ASM tree API을 살펴볼 수 있습니다. LdcInsnNode.cst를 사용하려고하는 SAX 스타일의 방문자 인터페이스와 달리보다 편안한 DOM 스타일의 트리 인터페이스로 쉽게 대체 할 수 있습니다.

Answer 2

당신이 가지고있는 것은 옳은 것이지만, ldc 이후에 호출되는 다른 유형의 opcode를 고려하지 않으므로 스택에서 무언가를 찾을 것이기 때문에 약간의 파손이 발생할 것입니다 그곳에 있지 않습니다 (당신이 ldc를 방문하지 않았기 때문에). 나는 기존의 상수 제거에 대해 너무 확실하지 않다, 그러나 당신은 일정과 같이 대체 할 수

@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); 
}  

즉, 항상 "LDC"를 참조하십시오. 그런 다음 IMUL이 진행되는 것을 보게되면 스택을 띄우고 새 상수를 삽입 한 다음 IMUL 연산 코드를 방문하십시오. ldc를 방문한 후 IMUL 이전에 다른 방법을 방문 할 경우이 작업을 완전히 안전하게하기 위해 약간의 작업이 필요합니다. 편집증 환자가 되려면 모든 방문자 메소드를 무시하고 IMUL이 아닌 visitInsn이 아닌 경우 ldc를 방문하여 replace = false를 설정합니다.

상수를 완전히 대체하는 것은 약간 까다 롭습니다. 지금까지 클래스에서 방문한 모든 메소드에서 어떤 상수를 보았는지 기억해야합니다. 지금까지 상수를 보지 못했다면, ldc를 방문 할 때 값을 바꿀 수 있습니다.