| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Models a jump where the mask and the jump registers don't match. | |
| 3 # and %ebx, $~0x1f | |
| 4 83 e3 e0 | |
| 5 # add %rbx, %r15 | |
| 6 4c 01 fb | |
| 7 # jmp %rax | |
| 8 ff e0 | |
| 9 @val: | |
| 10 VALIDATOR: 0000000000000006: ff e0 jmp
%rax | |
| 11 VALIDATOR: ERROR: Invalid indirect jump | |
| 12 VALIDATOR: Checking jump targets: 0 to 8 | |
| 13 VALIDATOR: Checking that basic blocks are aligned | |
| 14 *** <input> IS UNSAFE *** | |
| 15 @rval: | |
| 16 VALIDATOR: 0000000000000006: ff e0 jmp
%rax | |
| 17 VALIDATOR: ERROR: Invalid indirect jump | |
| 18 VALIDATOR: Checking jump targets: 0 to 8 | |
| 19 VALIDATOR: Checking that basic blocks are aligned | |
| 20 *** <input> IS UNSAFE *** | |
| 21 @rvald: | |
| 22 VALIDATOR: 0000000000000006: ff e0 jmp
%rax | |
| 23 VALIDATOR: ERROR: Invalid indirect jump | |
| 24 VALIDATOR: Checking block alignment and jump targets: 0 to 8 | |
| 25 *** <input> IS UNSAFE *** | |
| 26 @vd-rval: | |
| 27 VALIDATOR: 0000000000000006: ff e0 [P]
dontcarejump %rip (s), %rax (u) | |
| 28 VALIDATOR: ERROR: Invalid indirect jump | |
| 29 VALIDATOR: Checking jump targets: 0 to 8 | |
| 30 VALIDATOR: Checking that basic blocks are aligned | |
| 31 *** <input> IS UNSAFE *** | |
| 32 @dis: | |
| 33 0000000000000000: 83 e3 e0 and %ebx, 0xe0 | |
| 34 0000000000000003: 4c 01 fb add %rbx, %r15 | |
| 35 0000000000000006: ff e0 jmp %rax | |
| 36 @vdis: | |
| 37 0000000000000000: 83 e3 e0 and %ebx, 0xe0 | |
| 38 0000000000000003: 4c 01 fb add %rbx, %r15 | |
| 39 0000000000000006: ff e0 [P] dontcarejum
p %rip (s), %rax (u) | |
| 40 @rdfa_output: | |
| 41 6: [0] unrecognized instruction | |
| 42 return code: 1 | |
| 43 @validators_disagree: | |
| 44 errors reported by rdfa but not old validator: | |
| 45 0x0 (both report 0x6). | |
| OLD | NEW |