| 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
|
|
|