Jasmin Assembler verifyError：期望在堆栈上找到对象/数组

Question

我在“java testphase”之后收到此错误：

C:\jasmin-2.4>java testphase
Exception in thread "main" java.lang.VerifyError: 
  (class: testphase, method: main signature: ([Ljava/lang/String;)V) 
  Expecting to find object/array on stack
  Could not find the main class: testphase. 
Program will exit.

代码：

.class public testphase
.super java/lang/Object

; standard initializer
.method public <init>()V
  aload_0
  invokenonvirtual java/lang/Object/<init>()V
  return
.end method

.method public static main([Ljava/lang/String;)V
  .limit stack 10
  .limit locals 3

  ; assign something
  iconst_1
  iconst_1
  iadd
  istore_1

 ; assign something
  iconst_2
  iconst_2
  isub
  istore_2

 ; Writeln
  getstatic java/lang/System/out Ljava/io/PrintStream;
  iload_1
  invokevirtual java/io/PrintStream/println(Ljava/lang/String;)V

  return
.end method

Answer 1

你有多个问题。

首先：您需要将最终的

iload_1

更改为

aload_1

• 您正在加载字符串数组参数，因此不应使用整数加载（iload）来执行此操作。

其次，您加载的是字符串数组，而不是字符串。您需要选择您想要的元素。 （查找 aaload 了解如何取消引用数组中的元素。）

您需要先修复这两个问题，然后才能真正起作用。

Answer 2

这将起作用：

.class public testphase
.super java/lang/Object

; standard initializer
  .method public <init>()V
   aload_0
   invokenonvirtual java/lang/Object/<init>()V
   return
.end method

.method public static main([Ljava/lang/String;)V
  .limit stack 2
  .limit locals 3

  ; assign something
  iconst_1
  iconst_1
  iadd
  istore_1

  ; assign something
  iconst_2
  iconst_2
  isub
  istore_2

  ; Writeln
  getstatic java/lang/System/out Ljava/io/PrintStream;
  iload_1
  invokevirtual java/io/PrintStream/println(I)V

  ; Writeln variable 2
  getstatic java/lang/System/out Ljava/io/PrintStream;
  iload_2
  invokevirtual java/io/PrintStream/println(I)V

  return
.end method

基本上，更改在于 System.out.println(int) 的签名。