OLD | NEW |
| (Empty) |
1 @hex: | |
2 # Models a jump into the middle of an instruction. | |
3 EB 02 | |
4 83 e2 e0 | |
5 @val: | |
6 VALIDATOR: Checking jump targets: 0 to 5 | |
7 VALIDATOR: ERROR: 4: Bad jump target | |
8 VALIDATOR: Checking that basic blocks are aligned | |
9 *** <input> IS UNSAFE *** | |
10 @rval: | |
11 VALIDATOR: Checking jump targets: 0 to 5 | |
12 VALIDATOR: ERROR: 4: Bad jump target | |
13 VALIDATOR: Checking that basic blocks are aligned | |
14 *** <input> IS UNSAFE *** | |
15 @rvala: | |
16 VALIDATOR: Checking jump targets: 0 to 5 | |
17 VALIDATOR: 4: Bad jump target | |
18 VALIDATOR: Checking that basic blocks are aligned | |
19 *** <input> IS UNSAFE *** | |
20 @rvald: | |
21 VALIDATOR: Checking block alignment and jump targets: 0 to 5 | |
22 VALIDATOR: 0000000000000000: eb 02 jmp
0x4 | |
23 VALIDATOR: ERROR: Doesn't jump to instruction address | |
24 *** <input> IS UNSAFE *** | |
25 @vd-rval: | |
26 VALIDATOR: Checking jump targets: 0 to 5 | |
27 VALIDATOR: ERROR: 4: Bad jump target | |
28 VALIDATOR: Checking that basic blocks are aligned | |
29 *** <input> IS UNSAFE *** | |
30 @dis: | |
31 0000000000000000: eb 02 jmp 0x4 | |
32 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
33 @vdis: | |
34 0000000000000000: eb 02 [P] dontcarejum
p %rip (s), 0x4 (u) | |
35 0000000000000002: 83 e2 e0 and %edx, 0xe0 | |
36 @rdfa_output: | |
37 0: [0] bad jump target | |
38 return code: 1 | |
39 @validators_disagree: | |
40 Because rdfaval reported jump location, not target. | |
OLD | NEW |