| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # direct aligned jump outside of code | |
| 3 # jmp $20 | |
| 4 E9 1B 00 00 00 | |
| 5 # direct unaligned jump outside of code | |
| 6 # jmp $21 | |
| 7 E9 17 00 00 00 | |
| 8 @rval: | |
| 9 VALIDATOR: 0000000000000005: e9 17 00 00 00 jmp
0x21 | |
| 10 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 11 VALIDATOR: Checking jump targets: 0 to a | |
| 12 VALIDATOR: Checking that basic blocks are aligned | |
| 13 *** <input> IS UNSAFE *** | |
| 14 @rvald: | |
| 15 VALIDATOR: 0000000000000005: e9 17 00 00 00 jmp
0x21 | |
| 16 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 17 VALIDATOR: Checking block alignment and jump targets: 0 to a | |
| 18 *** <input> IS UNSAFE *** | |
| 19 @vd-rval: | |
| 20 VALIDATOR: 0000000000000005: e9 17 00 00 00 [P]
dontcarejump %rip (s), 0x21 (u) | |
| 21 VALIDATOR: ERROR: Instruction jumps to bad address | |
| 22 VALIDATOR: Checking jump targets: 0 to a | |
| 23 VALIDATOR: Checking that basic blocks are aligned | |
| 24 *** <input> IS UNSAFE *** | |
| 25 @dis: | |
| 26 0000000000000000: e9 1b 00 00 00 jmp 0x20 | |
| 27 0000000000000005: e9 17 00 00 00 jmp 0x21 | |
| 28 @vdis: | |
| 29 0000000000000000: e9 1b 00 00 00 [P] dontcarejum
p %rip (s), 0x20 (u) | |
| 30 0000000000000005: e9 17 00 00 00 [P] dontcarejum
p %rip (s), 0x21 (u) | |
| 31 @rdfa_output: | |
| 32 5: [0] direct jump out of range | |
| 33 return code: 1 | |
| OLD | NEW |