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 |