| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Model a call to address one, aligned to the end of a 32-byte block. | |
| 3 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 90 | |
| 4 90 90 90 90 90 90 90 90 90 90 90 | |
| 5 e8 21 fd fd ff | |
| 6 @val: | |
| 7 VALIDATOR: 000000000000001b: e8 21 fd fd ff call
0xfffffffffffdfd41 | |
| 8 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 9 VALIDATOR: Checking jump targets: 0 to 20 | |
| 10 VALIDATOR: Checking that basic blocks are aligned | |
| 11 *** <input> IS UNSAFE *** | |
| 12 @rval: | |
| 13 VALIDATOR: 000000000000001b: e8 21 fd fd ff call
0xfffffffffffdfd41 | |
| 14 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 15 VALIDATOR: Checking jump targets: 0 to 20 | |
| 16 VALIDATOR: Checking that basic blocks are aligned | |
| 17 *** <input> IS UNSAFE *** | |
| 18 @rvald: | |
| 19 VALIDATOR: 000000000000001b: e8 21 fd fd ff call
0xfffffffffffdfd41 | |
| 20 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 21 VALIDATOR: Checking block alignment and jump targets: 0 to 20 | |
| 22 *** <input> IS UNSAFE *** | |
| 23 @vd-rval: | |
| 24 VALIDATOR: 000000000000001b: e8 21 fd fd ff call
0xfffffffffffdfd41 | |
| 25 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 26 VALIDATOR: Checking jump targets: 0 to 20 | |
| 27 VALIDATOR: Checking that basic blocks are aligned | |
| 28 *** <input> IS UNSAFE *** | |
| 29 @dis: | |
| 30 0000000000000000: 90 nop | |
| 31 0000000000000001: 90 nop | |
| 32 0000000000000002: 90 nop | |
| 33 0000000000000003: 90 nop | |
| 34 0000000000000004: 90 nop | |
| 35 0000000000000005: 90 nop | |
| 36 0000000000000006: 90 nop | |
| 37 0000000000000007: 90 nop | |
| 38 0000000000000008: 90 nop | |
| 39 0000000000000009: 90 nop | |
| 40 000000000000000a: 90 nop | |
| 41 000000000000000b: 90 nop | |
| 42 000000000000000c: 90 nop | |
| 43 000000000000000d: 90 nop | |
| 44 000000000000000e: 90 nop | |
| 45 000000000000000f: 90 nop | |
| 46 0000000000000010: 90 nop | |
| 47 0000000000000011: 90 nop | |
| 48 0000000000000012: 90 nop | |
| 49 0000000000000013: 90 nop | |
| 50 0000000000000014: 90 nop | |
| 51 0000000000000015: 90 nop | |
| 52 0000000000000016: 90 nop | |
| 53 0000000000000017: 90 nop | |
| 54 0000000000000018: 90 nop | |
| 55 0000000000000019: 90 nop | |
| 56 000000000000001a: 90 nop | |
| 57 000000000000001b: e8 21 fd fd ff call 0xffffffff
fffdfd41 | |
| 58 @vdis: | |
| 59 0000000000000000: 90 [P] dontcare | |
| 60 0000000000000001: 90 [P] dontcare | |
| 61 0000000000000002: 90 [P] dontcare | |
| 62 0000000000000003: 90 [P] dontcare | |
| 63 0000000000000004: 90 [P] dontcare | |
| 64 0000000000000005: 90 [P] dontcare | |
| 65 0000000000000006: 90 [P] dontcare | |
| 66 0000000000000007: 90 [P] dontcare | |
| 67 0000000000000008: 90 [P] dontcare | |
| 68 0000000000000009: 90 [P] dontcare | |
| 69 000000000000000a: 90 [P] dontcare | |
| 70 000000000000000b: 90 [P] dontcare | |
| 71 000000000000000c: 90 [P] dontcare | |
| 72 000000000000000d: 90 [P] dontcare | |
| 73 000000000000000e: 90 [P] dontcare | |
| 74 000000000000000f: 90 [P] dontcare | |
| 75 0000000000000010: 90 [P] dontcare | |
| 76 0000000000000011: 90 [P] dontcare | |
| 77 0000000000000012: 90 [P] dontcare | |
| 78 0000000000000013: 90 [P] dontcare | |
| 79 0000000000000014: 90 [P] dontcare | |
| 80 0000000000000015: 90 [P] dontcare | |
| 81 0000000000000016: 90 [P] dontcare | |
| 82 0000000000000017: 90 [P] dontcare | |
| 83 0000000000000018: 90 [P] dontcare | |
| 84 0000000000000019: 90 [P] dontcare | |
| 85 000000000000001a: 90 [P] dontcare | |
| 86 000000000000001b: e8 21 fd fd ff call 0xffffffff
fffdfd41 | |
| 87 @rdfa_output: | |
| 88 1b: [0] direct jump out of range | |
| 89 return code: 1 | |
| OLD | NEW |