Index: src/trusted/validator_x86/testdata/32/nop-misses.test |
diff --git a/src/trusted/validator_x86/testdata/32/nop-misses.test b/src/trusted/validator_x86/testdata/32/nop-misses.test |
deleted file mode 100644 |
index 8519a2bdd33bbc5b68ceaf4c55985c5c8b377641..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/nop-misses.test |
+++ /dev/null |
@@ -1,166 +0,0 @@ |
-@hex: |
- # The following are examples of input sequences that almost look like |
- # predefined nop instruction sequences, but differ by 1, just to show |
- # that we do reject them. |
- |
- |
- |
- |
- |
- # This is the correct nop case. |
- 66 0f 1f 44 00 00 |
- |
- # This is an example where we have incremented the nop by 1. |
- 66 0f 1f 44 00 01 |
- |
- # This is the (repeated) correct nop case. |
- 66 0f 1f 44 00 00 |
- |
- # This is an example where we have decremented the nop by 1. |
- 66 0f 1f 43 |
- ff ff |
- |
- # This is the (repeated) correct nop case. |
- 66 0f 1f 44 00 00 |
- |
- # Filler (add) to align block. |
- 00 00 |
- |
- |
- |
- |
- |
- # This is an example of a different, correct, nop case. |
- 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
- |
- # This is an example where we have incremented the nop by 1. |
- 66 66 66 66 66 |
- 2e 0f 1f 84 00 00 00 00 01 |
- |
- # Filler (move) to fill the rest of the block. |
- 66 bf 88 77 |
- |
- # This is the (repeated) correct nop case. |
- 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
- |
- # This is an example where we have decremented the nop by 1. |
- 66 66 66 66 66 |
- 2e 0f 1f 83 ff ff ff ff ff |
- |
- # Filler to realign the decoder. |
- 00 |
- |
- # Filler (add) to fill the rest of the block. |
- 02 04 00 |
- |
- # This is the (repeated) correct nop case. |
- 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
- |
- |
- |
- |
- |
- |
- |
- # This is the list of all nops, just to see if they validate. |
- 66 0f 1f 44 00 00 |
- 66 0f 1f 84 00 00 00 00 00 |
- # Filler (add) to fill the rest of the block. |
- 02 04 00 |
- 66 2e 0f 1f 84 00 00 00 00 00 |
- 66 66 2e 0f 1f 84 00 00 00 00 00 |
- # Filler (2 moves) to fill the rest of the block. |
- 66 a3 44 33 22 11 |
- a0 44 33 22 11 |
- 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
- 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
- # Filler (move, nop) to fill the rest of the block. |
- 66 a3 44 33 22 11 |
- 90 |
- 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
- 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 |
-@nval: |
- VALIDATOR: 6: Undefined instruction |
- VALIDATOR: 12: Undefined instruction |
- VALIDATOR: 16: Undefined instruction |
- VALIDATOR: 2e: Bad prefix usage |
- VALIDATOR: 2e: Illegal instruction |
- VALIDATOR: 33: Bad prefix usage |
- VALIDATOR: 4e: Bad prefix usage |
- VALIDATOR: 4e: Illegal instruction |
- VALIDATOR: 53: Bad prefix usage |
- *** <input> IS UNSAFE *** |
-@dis: |
- 00000000: 66 0f 1f 44 00 00 nop |
- 00000006: 66 0f 1f 44 00 01 nop |
- 0000000c: 66 0f 1f 44 00 00 nop |
- 00000012: 66 0f 1f 43 ff nop |
- 00000017: ff 66 0f jmp %ds:[%esi+0xf] |
- 0000001a: 1f pop %ds |
- 0000001b: 44 inc %esp |
- 0000001c: 00 00 add %ds:[%eax], %al |
- 0000001e: 00 00 add %ds:[%eax], %al |
- 00000020: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 0000002e: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 01 nop |
- 0000003c: 66 bf 88 77 mov %di, 0x7788 |
- 00000040: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 0000004e: 66 66 66 66 66 2e 0f 1f 83 ff ff ff ff nop |
- 0000005b: ff 00 inc %ds:[%eax] |
- 0000005d: 02 04 00 add %al, %ds:[%eax+%eax*1] |
- 00000060: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 0000006e: 66 0f 1f 44 00 00 nop |
- 00000074: 66 0f 1f 84 00 00 00 00 00 nop |
- 0000007d: 02 04 00 add %al, %ds:[%eax+%eax*1] |
- 00000080: 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 0000008a: 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 00000095: 66 a3 44 33 22 11 mov [0x11223344], %ax |
- 0000009b: a0 44 33 22 11 mov %al, [0x11223344] |
- 000000a0: 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 000000ac: 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 000000b9: 66 a3 44 33 22 11 mov [0x11223344], %ax |
- 000000bf: 90 nop |
- 000000c0: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 000000ce: 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
-@vdis: |
- 0: 66 0f 1f 44 00 00 nop |
- 6: 66 0f 1f undefined |
- 9: 44 inc %esp |
- a: 00 01 add [%ecx], %eax |
- c: 66 0f 1f 44 00 00 nop |
- 12: 66 0f 1f undefined |
- 15: 43 inc %ebx |
- 16: ff ff undefined %edi |
- 18: 66 0f 1f 44 00 00 nop |
- 1e: 00 00 add [%eax], %eax |
- 20: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 2e: 66 66 66 66 66 [data16] |
- 33: 2e 0f 1f 84 00 00 00 00 01 nop |
- 3c: 66 bf 88 77 mov %edi, 0x7788 |
- 40: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 4e: 66 66 66 66 66 [data16] |
- 53: 2e 0f 1f 83 ff ff ff ff nop |
- 5b: ff 00 inc [%eax] |
- 5d: 02 04 00 add %eax, [%eax + %eax] |
- 60: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 6e: 66 0f 1f 44 00 00 nop |
- 74: 66 0f 1f 84 00 00 00 00 00 nop |
- 7d: 02 04 00 add %eax, [%eax + %eax] |
- 80: 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 8a: 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- 95: 66 a3 44 33 22 11 mov [0x11223344], %eax |
- 9b: a0 44 33 22 11 mov %al, [0x11223344] |
- a0: 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- ac: 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- b9: 66 a3 44 33 22 11 mov [0x11223344], %eax |
- bf: 90 nop |
- c0: 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
- ce: 66 66 66 66 66 66 2e 0f 1f 84 00 00 00 00 00 nop |
-@rdfa_output: |
- 6: [0] unrecognized instruction |
- 12: [1] unrecognized instruction |
- 16: [2] unrecognized instruction |
- 2e: [0] unrecognized instruction |
- 33: [1] unrecognized instruction |
- 4e: [0] unrecognized instruction |
- 53: [1] unrecognized instruction |
- return code: 1 |