Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
lab5

Create a Listener, named MnemonicPrinter, that prints the mnemonics of the bytecode instructions that are executed by JPF. Consider, for example,

public class HelloWorld 
{
  public static void main(String[] args) 
  {
    System.out.println("Hello World");
  }
}

Given a configuration file similar to

target=HelloWorld
classpath=.
listener=MnemonicPrinter
JPF produces something similar to
JavaPathfinder core system v8.0 (rev 2+) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
HelloWorld.main()

====================================================== search started: 2/3/16 8:06 AM
invokeclinit
new
dup
iconst_1
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
return
putstatic
new
dup
iconst_0
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
return
putstatic
ldc
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokeclinit
executenative
nativereturn
directcallreturn
invokeclinit
ldc
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokeclinit
ldc
invokestatic
executenative
nativereturn
putstatic
bipush
newarray
dup
iconst_0
bipush
castore
dup
iconst_1
bipush
castore
dup
iconst_2
bipush
castore
dup
iconst_3
bipush
castore
dup
iconst_4
bipush
castore
dup
iconst_5
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
putstatic
bipush
newarray
dup
iconst_0
bipush
castore
dup
iconst_1
bipush
castore
dup
iconst_2
bipush
castore
dup
iconst_3
bipush
castore
dup
iconst_4
bipush
castore
dup
iconst_5
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
putstatic
bipush
newarray
dup
iconst_0
bipush
castore
dup
iconst_1
bipush
castore
dup
iconst_2
bipush
castore
dup
iconst_3
bipush
castore
dup
iconst_4
bipush
castore
dup
iconst_5
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
putstatic
bipush
newarray
dup
iconst_0
bipush
iastore
dup
iconst_1
bipush
iastore
dup
iconst_2
sipush
iastore
dup
iconst_3
sipush
iastore
dup
iconst_4
ldc
iastore
dup
iconst_5
ldc
iastore
dup
bipush
ldc
iastore
dup
bipush
ldc
iastore
dup
bipush
ldc
iastore
dup
bipush
ldc
iastore
putstatic
return
directcallreturn
invokeclinit
ldc
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokeclinit
ldc
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokeclinit
ldc
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokeclinit
ldc
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokeclinit
iconst_0
anewarray
putstatic
new
dup
aconst_null
invokespecial
aload_0
invokespecial
aload_0
invokespecial
return
return
return
putstatic
return
directcallreturn
invokeclinit
new
dup
ldc
iconst_0
invokespecial
aload_0
aload_1
iload_2
invokespecial
aload_0
invokespecial
return
aload_0
aload_1
putfield
aload_0
iload_2
putfield
return
return
putstatic
new
dup
ldc
iconst_1
invokespecial
aload_0
aload_1
iload_2
invokespecial
aload_0
invokespecial
return
aload_0
aload_1
putfield
aload_0
iload_2
putfield
return
return
putstatic
new
dup
ldc
iconst_2
invokespecial
aload_0
aload_1
iload_2
invokespecial
aload_0
invokespecial
return
aload_0
aload_1
putfield
aload_0
iload_2
putfield
return
return
putstatic
new
dup
ldc
iconst_3
invokespecial
aload_0
aload_1
iload_2
invokespecial
aload_0
invokespecial
return
aload_0
aload_1
putfield
aload_0
iload_2
putfield
return
return
putstatic
new
dup
ldc
iconst_4
invokespecial
aload_0
aload_1
iload_2
invokespecial
aload_0
invokespecial
return
aload_0
aload_1
putfield
aload_0
iload_2
putfield
return
return
putstatic
new
dup
ldc
iconst_5
invokespecial
aload_0
aload_1
iload_2
invokespecial
aload_0
invokespecial
return
aload_0
aload_1
putfield
aload_0
iload_2
putfield
return
return
putstatic
bipush
anewarray
dup
iconst_0
getstatic
aastore
dup
iconst_1
getstatic
aastore
dup
iconst_2
getstatic
aastore
dup
iconst_3
getstatic
aastore
dup
iconst_4
getstatic
aastore
dup
iconst_5
getstatic
aastore
putstatic
return
directcallreturn
invokeclinit
invokestatic
executenative
nativereturn
putstatic
invokestatic
executenative
nativereturn
putstatic
new
invokeclinit
bipush
newarray
dup
iconst_0
bipush
castore
dup
iconst_1
bipush
castore
dup
iconst_2
bipush
castore
dup
iconst_3
bipush
castore
dup
iconst_4
bipush
castore
dup
iconst_5
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
dup
bipush
bipush
castore
putstatic
return
directcallreturn
new
dup
invokespecial
aload_0
aconst_null
invokespecial
aload_0
invokespecial
aload_0
bipush
ldc
invokespecial
aload_0
invokespecial
aload_0
invokespecial
return
return
aload_0
iconst_0
putfield
iload_1
ifge
fload_2
fconst
fcmpg
ifle
fload_2
invokestatic
executenative
nativereturn
ifeq
iload_1
ifne
aload_0
fload_2
putfield
aload_0
iload_1
anewarray
putfield
aload_0
iload_1
i2f
fload_2
fmul
ldc
invokestatic
invokeclinit
ldc
invokevirtual
executenative
nativereturn
ifne
iconst_0
putstatic
ldc
invokestatic
executenative
nativereturn
i2l
putstatic
ldc2_w
invokestatic
executenative
nativereturn
putstatic
sipush
invokestatic
getstatic
ifne
iload_0
sipush
if_icmplt
iload_0
sipush
if_icmple
iload_0
i2l
ldc2_w
ladd
bipush
lshl
ldc2_w
land
invokestatic
executenative
nativereturn
dreturn
putstatic
sipush
invokestatic
getstatic
ifne
iload_0
sipush
if_icmplt
iload_0
sipush
if_icmple
iload_0
i2l
ldc2_w
ladd
bipush
lshl
ldc2_w
land
invokestatic
executenative
nativereturn
dreturn
putstatic
return
directcallreturn
invokestatic
executenative
nativereturn
f2i
putfield
return
return
aload_0
aload_1
putfield
return
return
putstatic
invokestatic
executenative
nativereturn
astore_0
iconst_0
istore_1
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload
getfield
iload
if_icmpne
aload
getfield
astore
goto
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload
getfield
iload
if_icmpne
aload
getfield
astore
goto
aload
ifnull
aload
getfield
iload
if_icmpne
aload
getfield
astore
goto
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload_0
invokevirtual
aload_0
getfield
arraylength
istore_1
aload_0
getfield
astore_2
iload_1
iconst_1
ishl
iconst_1
iadd
istore_3
iload_3
ldc
isub
ifle
iload_3
anewarray
astore
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
iload_3
i2f
aload_0
getfield
fmul
ldc
invokestatic
executenative
nativereturn
f2i
putfield
aload_0
aload
putfield
iload_1
istore
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
aload
astore
aload
getfield
astore
aload
getfield
ldc
iand
iload_3
irem
istore
aload
aload
iload
aaload
putfield
aload
iload
aload
aastore
goto
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
goto
iload
iinc
ifle
aload_2
iload
aaload
astore
aload
ifnull
goto
iload
iinc
ifle
return
aload_0
getfield
astore
aload_2
invokevirtual
executenative
nativereturn
istore_1
iload_1
ldc
iand
aload
arraylength
irem
istore
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload
getfield
iload
if_icmpne
aload
getfield
astore
goto
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
aload_0
iload_1
aaload
astore_2
aload_0
iload_1
iconst_1
iadd
aaload
astore_3
aload_2
ifnull
aload_3
ifnull
getstatic
aload_0
iload_1
aaload
aload_0
iload_1
iconst_1
iadd
aaload
invokevirtual
aload_2
ifnonnull
aload_0
getfield
astore_3
aload_1
invokevirtual
executenative
nativereturn
istore
iload
ldc
iand
aload_3
arraylength
irem
istore
aload_3
iload
aaload
astore
aload
ifnull
aload_0
iload
aload_1
aload_2
iload
invokespecial
aload_0
dup
getfield
iconst_1
iadd
putfield
aload_0
getfield
astore
aload_0
getfield
aload_0
getfield
if_icmplt
aload
iload
aaload
astore
aload
iload
new
dup
iload_1
aload_2
aload_3
aload
invokespecial
aload_0
invokespecial
return
aload_0
iload_1
putfield
aload_0
aload_2
putfield
aload_0
aload_3
putfield
aload_0
aload
putfield
return
aastore
aload_0
dup
getfield
iconst_1
iadd
putfield
return
aconst_null
areturn
pop
iinc
goto
iload_1
aload_0
arraylength
if_icmpge
invokestatic
new
dup
invokespecial
aload_0
invokespecial
return
return
areturn
invokestatic
invokeclinit
invokestatic
invokeclinit
new
dup
invokespecial
aload_0
invokespecial
return
return
putstatic
return
directcallreturn
invokestatic
executenative
nativereturn
putstatic
return
directcallreturn
invokestatic
aload_0
putstatic
return
return
directcallreturn
invokestatic
getstatic
ldc
invokevirtual
executenative
Hello World
nativereturn
return
directcallreturn

====================================================== results
no errors detected

====================================================== statistics
elapsed time:       00:00:00
states:             new=1,visited=0,backtracked=1,end=1
search:             maxDepth=1,constraints=0
choice generators:  thread=1 (signal=0,lock=1,sharedRef=0,threadApi=0,reschedule=0), data=0
heap:               new=348,released=11,maxLive=0,gcCycles=1
instructions:       3164
max memory:         61MB
loaded code:        classes=56,methods=1220

====================================================== search finished: 2/3/16 8:06 AM

Last modified:
2016/02/03 08:08