在使用bcel时构造方法的堆栈映射

Question

我正在尝试bcel通过在特定指令之前插入invoke来修改方法。我的插入似乎会导致不同的stackmap表，而bcel包本身无法自动生成该表。因此，我插入的类文件包含旧的stackmap表，这将导致jvm出错。我试过使用removeCodeAttributes，MethodGen的方法，它可以删除所有的代码属性。它可以在简单的情况下工作，例如包装函数。现在它对我来说不起作用。

public class Insert{
    public static void main(String[] args) throws ClassFormatException, IOException{
        Insert isrt = new Insert();
        String className = "StringBuilder.class";
        JavaClass jclzz = new ClassParser(className).parse();
        ClassGen cgen = new ClassGen(jclzz);
        ConstantPoolGen cpgen = cgen.getConstantPool();
        MethodGen mgen = new MethodGen(jclzz.getMethods()[1], className, cpgen);
        InstructionFactory ifac = new InstructionFactory(cgen);
        InstructionList ilist = mgen.getInstructionList();
        for (InstructionHandle ihandle : ilist.getInstructionHandles()){
            System.out.println(ihandle.toString());
        }
        InstructionFinder f = new InstructionFinder(ilist);
        InstructionHandle[] insert_pos = (InstructionHandle[])(f.search("invokevirtual").next());
        Instruction inserted_inst = ifac.createInvoke("java.lang.System", "currentTimeMillis", Type.LONG, Type.NO_ARGS, Constants.INVOKESTATIC);
        System.out.println(inserted_inst.toString());
        ilist.insert(insert_pos[0], inserted_inst);

        mgen.setMaxStack();
        mgen.setMaxLocals();

        mgen.removeCodeAttributes();
        cgen.replaceMethod(jclzz.getMethods()[1], mgen.getMethod());
        ilist.dispose();
        //output the file
        FileOutputStream fos = new FileOutputStream(className);
        cgen.getJavaClass().dump(fos);
        fos.close();
    }
}

Answer 1

删除StackMapTable不是修复错误StackMapTable的正确解决方案。重要的例子是：

4.7.4.StackMapTable属性

在版本号为50.0或更高版本的class文件中，如果方法的Code属性没有StackMapTable属性，则它具有隐式堆栈映射属性（§4.10.1）。此隐式堆栈贴图属性等效于number_of_entries等于零的StackMapTable属性。

由于StackMapTable必须为每个分支目标都有显式条目，因此这种隐式StackMapTable只能用于无分支方法。但在这些情况下，该方法通常没有显式的StackMapTable，所以那时就不会有这个问题（除非该方法有您的指令删除的分支）。

另一个结论是，如果将类文件版本号修补为低于50的值，则可以删除StackMapTable。当然，这只是一个解决方案，如果你不需要50或更新版本中引入的任何类文件功能…

有一段宽限期，JVM支持具有损坏StackMapTable的类文件的回退模式，仅适用于像您这样的场景，其中工具支持不是最新的。（请参阅-XX:+FailoverToOldVerifier或-XX:-UseSplitVerifier）但是宽限期现在已经结束，并且该支持已经被拒绝，即Java 8 JVM不再支持回退模式。

如果你想跟上Java开发的步伐，并使用可能使用这些新版本功能的新类文件，你只有两个选择：

• 手动计算正确的StackMapTable
• 使用一个支持计算正确StackMapTable属性的工具，例如ASM（请参阅java字节码asm）确实支持它