User Tools

Site Tools


lab5

This is an old revision of the document!


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

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

Given a configuration file similar to <pre> target=HelloWorld classpath=. listener=MnemonicPrinter </pre> JPF produces something similar to <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>

lab5.1454504871.txt.gz · Last modified: 2016/02/03 13:07 by franck