1 reading Blort.class... 2 method <init> ()V 3 first 000c 4 block 0000 5 pred 000a 6 Blort.java:17@0001: Rop{invoke-direct . <- Ljava/lang/Object; call throws <any>}(java.lang.Object.<init>:()V catch) . <- v0:NffffLBlort; 7 next 000b 8 block 000a 9 pred 000c 10 Blort.java:17@0000: move-param-object(0) v0:NffffLBlort; <- . 11 Blort.java:17@0000: goto . <- . 12 next 0000 13 block 000b 14 pred 0000 15 Blort.java:17@0004: return-void . <- . 16 returns 17 block 000c 18 @????: goto . <- . 19 next 000a 20 21 method voidFunction ()V 22 first 0004 23 block 0002 24 pred 0004 25 Blort.java:23@0000: move-param-object(0) v0:LBlort; <- . 26 Blort.java:23@0000: goto . <- . 27 next 0003 28 block 0003 29 pred 0002 30 Blort.java:23@0000: return-void . <- . 31 returns 32 block 0004 33 @????: goto . <- . 34 next 0002 35 36 method edgeSplitMoveException ()V 37 first 0027 38 block 0000 39 pred 001e 40 Blort.java:31@0001: Rop{invoke-virtual . <- Ljava/lang/Object; call throws <any>}(java.lang.Object.hashCode:()I catch java.lang.Throwable) . <- v1:LBlort; 41 next 0028 42 next 0004 * 43 block 0004 44 pred 0000 45 Blort.java:32@0006: Rop{invoke-virtual . <- Ljava/lang/Object; call throws <any>}(java.lang.Object.hashCode:()I catch java.lang.Throwable) . <- v1:LBlort; 46 next 0028 47 next 001f * 48 block 001e 49 pred 0027 50 Blort.java:31@0000: move-param-object(0) v1:LBlort; <- . 51 Blort.java:31@0000: goto . <- . 52 next 0000 53 block 001f 54 pred 0004 55 pred 0028 56 Blort.java:35@000e: return-void . <- . 57 returns 58 block 0027 59 @????: goto . <- . 60 next 001e 61 block 0028 62 pred 0000 63 pred 0004 64 Blort.java:33@000d: Rop{move-exception Ljava/lang/Throwable; <- . flows} v0:Ljava/lang/Throwable; <- . 65 @????: goto . <- . 66 next 001f 67 68 method infiniteLoop ()V 69 first 0003 70 block 0000 71 pred 0000 72 pred 0002 73 Blort.java:41@0000: goto . <- . 74 next 0000 75 block 0002 76 pred 0003 77 Blort.java:41@0000: move-param-object(0) v0:LBlort; <- . 78 Blort.java:41@0000: goto . <- . 79 next 0000 80 block 0003 81 @????: goto . <- . 82 next 0002 83