| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Model a case where an indirect jump is inproperly masked (mask wrong value). | |
| 3 83 e2 f0 | |
| 4 4D 8D 0C 17 | |
| 5 41 FF E1 | |
| 6 | |
| 7 @val: | |
| 8 VALIDATOR: 0000000000000007: 41 ff e1 jmp
%r9 | |
| 9 VALIDATOR: ERROR: Invalid indirect jump | |
| 10 VALIDATOR: Checking jump targets: 0 to a | |
| 11 VALIDATOR: Checking that basic blocks are aligned | |
| 12 *** <input> IS UNSAFE *** | |
| 13 @rval: | |
| 14 VALIDATOR: 0000000000000007: 41 ff e1 jmp
%r9 | |
| 15 VALIDATOR: ERROR: Invalid indirect jump | |
| 16 VALIDATOR: Checking jump targets: 0 to a | |
| 17 VALIDATOR: Checking that basic blocks are aligned | |
| 18 *** <input> IS UNSAFE *** | |
| 19 @rvald: | |
| 20 VALIDATOR: 0000000000000007: 41 ff e1 jmp
%r9 | |
| 21 VALIDATOR: ERROR: Invalid indirect jump | |
| 22 VALIDATOR: Checking block alignment and jump targets: 0 to a | |
| 23 *** <input> IS UNSAFE *** | |
| 24 @vd-rval: | |
| 25 VALIDATOR: 0000000000000007: 41 ff e1 [P]
dontcarejump %rip (s), %r9 (u) | |
| 26 VALIDATOR: ERROR: Invalid indirect jump | |
| 27 VALIDATOR: Checking jump targets: 0 to a | |
| 28 VALIDATOR: Checking that basic blocks are aligned | |
| 29 *** <input> IS UNSAFE *** | |
| 30 @dis: | |
| 31 0000000000000000: 83 e2 f0 and %edx, 0xf0 | |
| 32 0000000000000003: 4d 8d 0c 17 lea %r9, [%r15+
%rdx*1] | |
| 33 0000000000000007: 41 ff e1 jmp %r9 | |
| 34 @vdis: | |
| 35 0000000000000000: 83 e2 f0 and %edx, 0xf0 | |
| 36 0000000000000003: 4d 8d 0c 17 lea %r9, [%r15+
%rdx*1] | |
| 37 0000000000000007: 41 ff e1 [P] dontcarejum
p %rip (s), %r9 (u) | |
| 38 @rdfa_output: | |
| 39 7: [0] unrecognized instruction | |
| 40 return code: 1 | |
| OLD | NEW |