| Index: src/trusted/validator_x86/testdata/64/indirect_jmp_not_masked.test
|
| diff --git a/src/trusted/validator_x86/testdata/64/indirect_jmp_not_masked.test b/src/trusted/validator_x86/testdata/64/indirect_jmp_not_masked.test
|
| deleted file mode 100644
|
| index 7ff47505a55a2353c739b034dcf219cddd870d79..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/64/indirect_jmp_not_masked.test
|
| +++ /dev/null
|
| @@ -1,40 +0,0 @@
|
| -@hex:
|
| - # Model a case where an indirect jump is inproperly masked (mask wrong value).
|
| - 83 e2 f0
|
| - 4D 8D 0C 17
|
| - 41 FF E1
|
| -
|
| -@val:
|
| - VALIDATOR: 0000000000000007: 41 ff e1 jmp %r9
|
| - VALIDATOR: ERROR: Invalid indirect jump
|
| - VALIDATOR: Checking jump targets: 0 to a
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@rval:
|
| - VALIDATOR: 0000000000000007: 41 ff e1 jmp %r9
|
| - VALIDATOR: ERROR: Invalid indirect jump
|
| - VALIDATOR: Checking jump targets: 0 to a
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@rvald:
|
| - VALIDATOR: 0000000000000007: 41 ff e1 jmp %r9
|
| - VALIDATOR: ERROR: Invalid indirect jump
|
| - VALIDATOR: Checking block alignment and jump targets: 0 to a
|
| - *** <input> IS UNSAFE ***
|
| -@vd-rval:
|
| - VALIDATOR: 0000000000000007: 41 ff e1 [P] dontcarejump %rip (s), %r9 (u)
|
| - VALIDATOR: ERROR: Invalid indirect jump
|
| - VALIDATOR: Checking jump targets: 0 to a
|
| - VALIDATOR: Checking that basic blocks are aligned
|
| - *** <input> IS UNSAFE ***
|
| -@dis:
|
| - 0000000000000000: 83 e2 f0 and %edx, 0xf0
|
| - 0000000000000003: 4d 8d 0c 17 lea %r9, [%r15+%rdx*1]
|
| - 0000000000000007: 41 ff e1 jmp %r9
|
| -@vdis:
|
| - 0000000000000000: 83 e2 f0 and %edx, 0xf0
|
| - 0000000000000003: 4d 8d 0c 17 lea %r9, [%r15+%rdx*1]
|
| - 0000000000000007: 41 ff e1 [P] dontcarejump %rip (s), %r9 (u)
|
| -@rdfa_output:
|
| - 7: [0] unrecognized instruction
|
| - return code: 1
|
|
|