java 字节码 putfield asm_字节码检测生成java验证程序错误

作者在使用ASM库进行Java字节码检测时,遇到VerifyError,探讨了如何针对PUTFIELD指令插入DUP_X1操作以满足验证,并分享了在setA方法中应用修改后的检测代码及问题解决过程。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

我正在使用ASM来为Java程序执行字节码检测。我正在做的很简单 - 当检测方法时,如果指令是PUTFIELD,只需在指令之前执行DUP_X1,然后访问PUTFIELD并使用包含DUP的堆栈条目的参数注入函数调用。

public void visitFieldInsn(

int opcode,

String owner, // owner of this field...

String name,

String desc) {

boolean did_dup = false;

if(opcode == Opcodes.PUTFIELD) {

if(!owner.equals("java/lang/System")) {

if (desc.startsWith("L")) {

mv.visitInsn(Opcodes.DUP_X1);

did_dup = true;

}

}

}

mv.visitFieldInsn(opcode, owner, name, desc);

if (did_dup) {

mv.visitVarInsn(Opcodes.ALOAD, 0);

mv.visitMethodInsn(Opcodes.INVOKESTATIC, "com/amir/ASide", "updateG", "(Ljava/lang/Object;Ljava/lang/Object;)V");

}

}代码分别如下所示:BEFORE和AFTER检测:

public void setA(ClassA classa)

{

refA = classa;

eyeColor = classa.eyeColor;

}

public void setA(ClassA classa)

{

ASide.updateG(refA = classa, this);

ASide.updateG(eyeColor = classa.eyeColor, this);

}但是当我运行检测代码时,我得到:

java.lang.VerifyError:期望在堆栈上查找对象/数组

你能提供任何帮助吗?

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值