Differences

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

--- lab5 [2016/02/03 13:08] – franck
+++ lab5 [2017/02/02 02:48] (current) – franck
@@ Line 1: / Line 1: @@
-Create a Listener, named MnemonicPrinter, that prints the mnemonics of the bytecode instructions that are executed by JPF.  Consider, for example,
+====== Lab 5 ======
-<html>
+Create a listener, named RandomDetector, which prints
-<pre>
+<code>
-public class HelloWorld
+Random!
-{
+</code>
-  public static void main(String[] args)
+whenever a Random object is created.  To receive feedback, submit your listener using the submit command before Tuesday February 7:\\
-  {
+submit 4315 lab5 <name of the listener>
-    System.out.println("Hello World");
-  }
-}
-</pre>
-</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>