1

编辑：解决方案是我使用 aastore，而我应该使用 iastore，因为我想将项目存储在ints数组中，而 aastore 仅用于Objects数组。

我有以下方法作为字节码中的构造函数生成

aload_0
invokespecial java/lang/Object/<init>()V
aload_0
new java/lang/StringBuilder
dup
invokespecial java/lang/StringBuilder/<init>()V
putfield com/js/interpreter/custom_types/1e9ebd0/s Ljava/lang/StringBuilder;
aload_0
iconst_0
putfield com/js/interpreter/custom_types/1e9ebd0/l I
aload_0
iconst_0
multianewarray [I 1
astore_1
iconst_0
istore_2
goto 23
18:aload_1
iload_2
iconst_0
aastore
iinc 2 1
23:iload_2
iconst_0
if_icmplt 18
aload_1
putfield com/js/interpreter/custom_types/1e9ebd0/a [I
return

但是，它无法验证，给出方法：签名：（）V）期望在堆栈上找到对象/数组

但是，我可以随时查看并准确知道堆栈中的项目数：

    aload_0
1
    invokespecial java/lang/Object/<init>()V
0
    aload_0
1
    new java/lang/StringBuilder
2
    dup
3
    invokespecial java/lang/StringBuilder/<init>()V
2
    putfield com/js/interpreter/custom_types/1e9ebd0/s Ljava/lang/StringBuilder;
0
    aload_0
1
    iconst_0
2
    putfield com/js/interpreter/custom_types/1e9ebd0/l I
0
    aload_0
1
    iconst_0
2
    multianewarray [I 1
2
    astore_1
1
    iconst_0
2
    istore_2
1
    goto 23
    18:aload_1
2
    iload_2
3
    iconst_0
4
    aastore
1
    iinc 2 1
1
    23:iload_2
2
    iconst_0
3
    if_icmplt 18
1
    aload_1
2
    putfield com/js/interpreter/custom_types/1e9ebd0/a [I
0
    return

当我通过 Justice 验证程序运行它时，它没有给我任何有用的消息（它甚至无法验证 javac 生成的类）。

这里会发生什么？有什么问题？

4

2 回答 2

1

也许我很困惑，但你做到了

1
jsr 23

...

23: iload_2
2

但在 23 岁之后，我认为堆栈上会有 3 个

A0
<return address>
I2
于 2011-04-29T06:55:04.303 回答
1

我没有看到问题，但是当我陷入字节码调试地狱时，我会这样做：

  • 省略不必要的代码。目前看来该循环是一个 nop（您永远不会进入主体循环，因为您将局部变量 2 初始化为零，对吗？）。所以我只是让循环体为空，看看验证错误是否仍然存在。
  • 然后，我将开始删除其他部分（各个字段的初始化），直到错误消失。
于 2011-04-29T07:22:02.997 回答