尝试检测java字节码时,堆栈中的参数数量错误
我正在研究一个小的java字节码检测工具. 一般的想法是使用_CONGU后缀重命名所有类方法,然后使用将调用其_CONGU对应物的原始方法名称创建代理方法. 例如,如果类C包含int m(){return 1;方法,检测的C类将有一个int m_CONGU(){return 1; } method和int m(){return m_CONGU(); } 方法. 稍后我会在int m()上添加一些额外的逻辑,它们会在调用m_CONGU()之前进行一些检查. 目前,我正在使用_CONGU后缀将所有构造函数调用调用检测到我的方法. 在Bellow中,您可以看到Fraction类的inverse()方法的检测版本和非检测版本. 尝试运行此代码时
我得到以下异常,这让我在过去几个小时里感到困惑:
我想这肯定是一个明显的错误,但我无法得到问题所在.它看起来在某种程度上与堆栈中包含错误数量的数据有关,但它在我看来堆栈中的元素数量在原始代码和已检测代码上都是相同的(至少应该发生的是这样) ).有任何想法吗? 更多信息: 1)这里是< init>的描述符.和Fraction_CONGU(正如人们所期望的那样!): 2)我想知道Bytecode Viewer中[0]代码的颜色是否不同可能意味着我的检测代码存在其他问题?也许有一些元数据在这个过程中被破坏了,所以这可能是代码看起来不错的原因,并且在尝试运行代码时仍然存在问题? 最佳答案
看起来第一个屏幕截图上的代码从根本上被打破了. JVM字节码中的对象构造可以分为两个阶段:在堆上分配内存并针对分配的内存调用构造函数(带有可选参数):
你基本上做的是:在堆上分配一些原始(可能是零)内存并对该内存块调用虚方法Fraction_congu.你还没有调用构造函数! 还应该有invokevirtual,我猜这个生成的方法是私有的. 更新:我假设您要转换以下类:
成:
如你所见,这是完全可能的(如果我的想法正确).只需编译此Java代码,看看编译器如何实现它. 这引出了一个问题:你不能只使用AspectJ进行编译时编织吗? (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |