EECS4315

User Tools

Site Tools

You are here: Mission Critical Systems » Lab 2
Trace:
lab5

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
lab5 [2016/02/03 13:08] – francklab5 [2020/01/19 20:51] (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 2 ======
  
-<html> +Write a listener, named LongestPath, that keeps track of the length of a longest  path in the state space.  The method getDepth of the class Search might be helpful (see [[https://www.eecs.yorku.ca/course_archive/2019-20/W/4315/api/jpf/|JPF's API]]).  To make it a little easier, you do not have to consider state spaces with cycles.  A sample run can be found below.  It shows what type of output your listener should produce.
-<pre> +
-public class HelloWorld  +
-{ +
-  public static void main(String[] args)  +
-  { +
-    System.out.println("Hello World"); +
-  } +
-} +
-</pre> +
-</html>+
  
-Given a configuration file similar to +To compile your listener, use 
-<html> +<code> 
-<pre> +javac -cp /cs/fac/packages/jpf/jpf-core/build/jpf.jar:. LongestPath.java 
-target=HelloWorld +</code> 
-classpath=. +or add /cs/fac/packages/jpf/jpf-core/build/jpf.jar as an external library to Eclipse. 
-listener=MnemonicPrinter + 
-</pre> +Also write an app, named Path, to test your listener.  Finally, write an application properties file to run JPF with your listener on the app. 
-</html> + 
-JPF produces something similar to + 
-<html> +To receive feedback, submit your listener, your app, and your application properties file using the submit command **before** Tuesday January 28:\\ 
-<pre> +<code> 
-JavaPathfinder core system v8.0 (rev 2+) - (C) 2005-2014 United States Government. All rights reserved.+submit 4315 lab2 LongestPath.java Path.java Path.jpf 
 +</code> 
 + 
 +Sample output: 
 +<code> 
 +JavaPathfinder core system v8.0 (rev d772dfa80ea692f916aa6718d04c4f7bfb2a746b) - 
 + (C) 2005-2014 United States Government. All rights reserved.
  
  
 ====================================================== system under test ====================================================== system under test
-HelloWorld.main()+Path.main()
  
-====================================================== search started: 2/3/16 8:06 AM +====================================================== search started: 1/19/20 4:08 PM 
-invokeclinit +0 
-new +1 
-dup +3 
-iconst_1 +5 
-invokespecial +6 
-aload_0 +4 
-invokespecial +2 
-return +Longest path has length 4
-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 ====================================================== results
Line 3202: Line 41:
 ====================================================== statistics ====================================================== statistics
 elapsed time:       00:00:00 elapsed time:       00:00:00
-states:             new=1,visited=0,backtracked=1,end=1 +states:             new=4,visited=3,backtracked=7,end=4 
-search:             maxDepth=1,constraints=0 +search:             maxDepth=4,constraints=0 
-choice generators:  thread=1 (signal=0,lock=1,sharedRef=0,threadApi=0,reschedule=0), data=0 +choice generators:  thread=1 (signal=0,lock=1,sharedRef=0,threadApi=0,reschedule=0), data=3 
-heap:               new=348,released=11,maxLive=0,gcCycles=1 +heap:               new=368,released=42,maxLive=358,gcCycles=7 
-instructions:       3164 +instructions:       3247 
-max memory:         61MB +max memory:         57MB 
-loaded code:        classes=56,methods=1220+loaded code:        classes=62,methods=1341 
 + 
 +====================================================== search finished: 1/19/20 4:08 PM 
 +</code>
  
-====================================================== search finished: 2/3/16 8:06 AM 
-</pre> 
-</html> 
lab5.1454504896.txt.gz · Last modified: by franck