Differences

This shows you the differences between two versions of the page.

--- lab5 [2016/02/03 13:02] – created franck
+++ lab5 [2016/02/03 13:08] (current) – franck
@@ Line 1: / Line 1: @@
-Create a Listener, named MnemonicPrinter, that prints the mnemonics of the byte instructions that are executed by JPF.  Consider, for example,
+Create a Listener, named MnemonicPrinter, that prints the mnemonics of the bytecode instructions that are executed by JPF.  Consider, for example,
 <html>
@@ Line 13: / Line 13: @@
 </html>
+Given a configuration file similar to
+<html>
+<pre>
+target=HelloWorld
+classpath=.
+listener=MnemonicPrinter
+</pre>
+</html>
+JPF produces something similar to
+<html>
+<pre>
+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
+</pre>
+</html>