OLD | NEW |
| (Empty) |
1 @hex: | |
2 # Example of a 64-bit segment address assignment. | |
3 ab | |
4 @val: | |
5 VALIDATOR: 0000000000000000: ab stos
d [%rdi] | |
6 VALIDATOR: ERROR: Segment memory reference not allowed | |
7 VALIDATOR: Checking jump targets: 0 to 1 | |
8 VALIDATOR: Checking that basic blocks are aligned | |
9 *** <input> IS UNSAFE *** | |
10 @rval: | |
11 VALIDATOR: 0000000000000000: ab stos
d [%rdi] | |
12 VALIDATOR: ERROR: Segment memory reference not allowed | |
13 VALIDATOR: Checking jump targets: 0 to 1 | |
14 VALIDATOR: Checking that basic blocks are aligned | |
15 *** <input> IS UNSAFE *** | |
16 @rvald: | |
17 VALIDATOR: 0000000000000000: ab stos
d [%rdi] | |
18 VALIDATOR: ERROR: Segment memory reference not allowed | |
19 VALIDATOR: Checking block alignment and jump targets: 0 to 1 | |
20 *** <input> IS UNSAFE *** | |
21 @vd-rval: | |
22 VALIDATOR: 0000000000000000: ab [P]
dontcare [%rdi] (s), %eax (u) | |
23 VALIDATOR: ERROR: Segment memory reference not allowed | |
24 VALIDATOR: Checking jump targets: 0 to 1 | |
25 VALIDATOR: Checking that basic blocks are aligned | |
26 *** <input> IS UNSAFE *** | |
27 @dis: | |
28 0000000000000000: ab stosd [%rdi] | |
29 @vdis: | |
30 0000000000000000: ab [P] dontcare [%
rdi] (s), %eax (u) | |
31 @rdfa_output: | |
32 0: [0] unrecognized instruction | |
33 return code: 1 | |
OLD | NEW |