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 |