| OLD | NEW |
| (Empty) |
| 1 @hex: | |
| 2 # Invalid and store, because the index isn't 32 zero extended bits. | |
| 3 66 83 e1 e0 | |
| 4 49 89 44 CF 36 | |
| 5 | |
| 6 @val: | |
| 7 VALIDATOR: 0000000000000004: 49 89 44 cf 36 mov
[%r15+%rcx*8+0x36], %rax | |
| 8 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 9 VALIDATOR: Checking jump targets: 0 to 9 | |
| 10 VALIDATOR: Checking that basic blocks are aligned | |
| 11 *** <input> IS UNSAFE *** | |
| 12 @rval: | |
| 13 VALIDATOR: 0000000000000004: 49 89 44 cf 36 mov
[%r15+%rcx*8+0x36], %rax | |
| 14 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 15 VALIDATOR: Checking jump targets: 0 to 9 | |
| 16 VALIDATOR: Checking that basic blocks are aligned | |
| 17 *** <input> IS UNSAFE *** | |
| 18 @rvald: | |
| 19 VALIDATOR: 0000000000000004: 49 89 44 cf 36 mov
[%r15+%rcx*8+0x36], %rax | |
| 20 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 21 VALIDATOR: Checking block alignment and jump targets: 0 to 9 | |
| 22 *** <input> IS UNSAFE *** | |
| 23 @vd-rval: | |
| 24 VALIDATOR: 0000000000000004: 49 89 44 cf 36 mov
[%r15+%rcx*8+0x36], %rax | |
| 25 VALIDATOR: ERROR: Invalid index register in memory offset | |
| 26 VALIDATOR: Checking jump targets: 0 to 9 | |
| 27 VALIDATOR: Checking that basic blocks are aligned | |
| 28 *** <input> IS UNSAFE *** | |
| 29 @dis: | |
| 30 0000000000000000: 66 83 e1 e0 and %cx, 0xe0 | |
| 31 0000000000000004: 49 89 44 cf 36 mov [%r15+%rcx*
8+0x36], %rax | |
| 32 @vdis: | |
| 33 0000000000000000: 66 83 e1 e0 and %cx, 0xe0 | |
| 34 0000000000000004: 49 89 44 cf 36 mov [%r15+%rcx*
8+0x36], %rax | |
| 35 @rdfa_output: | |
| 36 4: [0] improper memory address - bad index | |
| 37 return code: 1 | |
| OLD | NEW |