| Index: src/trusted/validator_x86/testdata/32/mem_overflow.test
|
| diff --git a/src/trusted/validator_x86/testdata/32/mem_overflow.test b/src/trusted/validator_x86/testdata/32/mem_overflow.test
|
| deleted file mode 100644
|
| index 02a29299fb8dc7ec95c933f7e40d2f4c3a565e77..0000000000000000000000000000000000000000
|
| --- a/src/trusted/validator_x86/testdata/32/mem_overflow.test
|
| +++ /dev/null
|
| @@ -1,89 +0,0 @@
|
| -@hex:
|
| - # Align instruction of interest at the end of the bundle
|
| - 90 90 90 90
|
| - 90 90 90 90
|
| - 90 90 90 90
|
| - 90 90 90 90
|
| - 90 90 90 90
|
| - 90 90 90 90
|
| - 90 90 90 90
|
| -
|
| - # Test if we fill in (zero) for memory overflow of instruction:
|
| - # 00000000: 03 1d 20 00 00 00 add %ebx, 0x20
|
| - 03 1d 20 00
|
| -@nval:
|
| - 22 > 20 (read overflow of 2 bytes)
|
| - ErrorSegmentation
|
| - *** <input> IS UNSAFE ***
|
| -@dis:
|
| - 00000000: 90 nop
|
| - 00000001: 90 nop
|
| - 00000002: 90 nop
|
| - 00000003: 90 nop
|
| - 00000004: 90 nop
|
| - 00000005: 90 nop
|
| - 00000006: 90 nop
|
| - 00000007: 90 nop
|
| - 00000008: 90 nop
|
| - 00000009: 90 nop
|
| - 0000000a: 90 nop
|
| - 0000000b: 90 nop
|
| - 0000000c: 90 nop
|
| - 0000000d: 90 nop
|
| - 0000000e: 90 nop
|
| - 0000000f: 90 nop
|
| - 00000010: 90 nop
|
| - 00000011: 90 nop
|
| - 00000012: 90 nop
|
| - 00000013: 90 nop
|
| - 00000014: 90 nop
|
| - 00000015: 90 nop
|
| - 00000016: 90 nop
|
| - 00000017: 90 nop
|
| - 00000018: 90 nop
|
| - 00000019: 90 nop
|
| - 0000001a: 90 nop
|
| - 0000001b: 90 nop
|
| - 0000001c: 03 1d invalid
|
| - 0000001e: 20 00 and %ds:[%eax], %al
|
| -@vdis:
|
| - 0: 90 nop
|
| - 1: 90 nop
|
| - 2: 90 nop
|
| - 3: 90 nop
|
| - 4: 90 nop
|
| - 5: 90 nop
|
| - 6: 90 nop
|
| - 7: 90 nop
|
| - 8: 90 nop
|
| - 9: 90 nop
|
| - a: 90 nop
|
| - b: 90 nop
|
| - c: 90 nop
|
| - d: 90 nop
|
| - e: 90 nop
|
| - f: 90 nop
|
| - 10: 90 nop
|
| - 11: 90 nop
|
| - 12: 90 nop
|
| - 13: 90 nop
|
| - 14: 90 nop
|
| - 15: 90 nop
|
| - 16: 90 nop
|
| - 17: 90 nop
|
| - 18: 90 nop
|
| - 19: 90 nop
|
| - 1a: 90 nop
|
| - 1b: 90 nop
|
| - 22 > 20 (read overflow of 2 bytes)
|
| - ErrorSegmentation
|
| -@rdfa_output:
|
| - 1c: [0] unrecognized instruction
|
| - return code: 1
|
| -@validators_disagree:
|
| - Disagreement on error reporting, not on the essence.
|
| - errors reported by old validator but not by rdfa one:
|
| - ErrorSegmentation
|
| - read overflow
|
| - errors reported by rdfa validator but not by old one:
|
| - 0x1c
|
|
|