| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Test that we don't accept "mov %ebp, %r11d" if not followed by an "add %rbp
%r15" | |
| 3 44 89 dd | |
| 4 | |
| 5 @val: | |
| 6 VALIDATOR: 0000000000000000: 44 89 dd mov
%ebp, %r11d | |
| 7 VALIDATOR: ERROR: Illegal assignment to EBP | |
| 8 VALIDATOR: Checking jump targets: 0 to 3 | |
| 9 VALIDATOR: Checking that basic blocks are aligned | |
| 10 *** <input> IS UNSAFE *** | |
| 11 @rval: | |
| 12 VALIDATOR: 0000000000000000: 44 89 dd mov
%ebp, %r11d | |
| 13 VALIDATOR: ERROR: Illegal assignment to EBP | |
| 14 VALIDATOR: Checking jump targets: 0 to 3 | |
| 15 VALIDATOR: Checking that basic blocks are aligned | |
| 16 *** <input> IS UNSAFE *** | |
| 17 @rvald: | |
| 18 VALIDATOR: 0000000000000000: 44 89 dd mov
%ebp, %r11d | |
| 19 VALIDATOR: ERROR: Illegal assignment to EBP | |
| 20 VALIDATOR: Checking block alignment and jump targets: 0 to 3 | |
| 21 *** <input> IS UNSAFE *** | |
| 22 @vd-rval: | |
| 23 VALIDATOR: 0000000000000000: 44 89 dd mov
%ebp, %r11d | |
| 24 VALIDATOR: ERROR: Illegal assignment to EBP | |
| 25 VALIDATOR: Checking jump targets: 0 to 3 | |
| 26 VALIDATOR: Checking that basic blocks are aligned | |
| 27 *** <input> IS UNSAFE *** | |
| 28 @dis: | |
| 29 0000000000000000: 44 89 dd mov %ebp, %r11d | |
| 30 @vdis: | |
| 31 0000000000000000: 44 89 dd mov %ebp, %r11d | |
| 32 @rdfa_output: | |
| 33 3: [0] improper %rbp sandboxing | |
| 34 return code: 1 | |
| 35 @validators_disagree: | |
| 36 Same problem reported in different ways. | |
| 37 errors reported by old validator but not by rdfa one: | |
| 38 0x0 | |
| 39 errors reported by rdfa validator but not by old one: | |
| 40 0x3 | |
| OLD | NEW |