ASMを使用してバイトコードにtry/catchブロックを追加するとVerifyErrorが発生する

Question

Javaエージェントでは、ASMを使用してクラスを実装しています。私はtry/catchで特定のメソッドをラップしようとしており、トレースはmethodEnterとmethodExitです。

"-noverify"のコードは完全に機能します。

このオプションを指定しないとVerifyError（ "この場所のスタックマップフレームが予想されます"）で失敗します - 私はvisitFrameを呼び出さないためです。

COMPUTE_MAXSをClassWriterに、EXPAND_FRAMESをClassReaderに使用しています。 COMPUTE_FRAMESを使用することはできません。これは、すべての依存クラスを計測前にロードする必要があります。これは不可能です。

私の現在のコード：

// ... 

@Override 
protected void onMethodEnter() { 
    visitLogMethodCallEntry(); 
} 

@Override 
public void visitCode() { 
    super.visitCode(); 
    mv.visitLabel(startFinally); 
} 

@Override 
public void visitMaxs(int maxStack, int maxLocals) { 
    Label handler = new Label(); 
    mv.visitTryCatchBlock(startFinally, handler, handler, null); 
    mv.visitLabel(handler); 
    visitLogMethodCallException(); 
    mv.visitInsn(ATHROW); 
    mv.visitMaxs(maxStack, maxLocals); 
} 

@Override 
protected void onMethodExit(int opcode) { 
    if (opcode != ATHROW) { 
     visitLogMethodCallExit(); 
    } 
} 

// ... 

すべてのヘルプは大歓迎です。

Answer 1

最初の一見から、問題の原因となる完全なコードを見ずに、super.visitXX（）とmv.visitXX（）呼び出しを混同しています。

また、依存するクラスを読み込む必要はありません。 ClassWriter.getCommonSuperClass()の独自の実装を提供することができます。たとえば、ClassWriterComputeFramesTestを参照してください。