Index: src/trusted/validator_x86/testdata/32/test-9.test |
diff --git a/src/trusted/validator_x86/testdata/32/test-9.test b/src/trusted/validator_x86/testdata/32/test-9.test |
deleted file mode 100644 |
index c870e53ca4bf8edaa1c5d0301ab132f47ddc7c63..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/test-9.test |
+++ /dev/null |
@@ -1,48 +0,0 @@ |
-@hex: |
- # test 9: seven byte control transfer, unprotected. |
- ff 24 95 c8 6e 05 08 |
- 90 90 90 90 90 90 f4 |
-@nval: |
- VALIDATOR: 0: Unsafe indirect jump |
- *** <input> IS UNSAFE *** |
-@nvals: |
- VALIDATOR: 0: Unsafe indirect jump |
- *** <input> IS UNSAFE *** |
- |
- Opcode Histogram; |
- 6 0x90 1 0xf4 1 0xff |
- Analysis Summary: |
- 8 Checked instructions |
- 0 checked jump targets |
- 0 calls/jumps need dynamic checking (0.00%) |
- |
- Problems: |
- 0 illegal instructions |
- 0 bad jump targets |
- 1 illegal unprotected indirect jumps (including ret) |
- 0 instruction alignment defects |
- 0 segmentation errors |
- 0 bad prefix |
- 0 bad instruction length |
- 0 internal errors |
-@dis: |
- 00000000: ff 24 95 c8 6e 05 08 jmp %ds:[%edx*4+0x8056ec8] |
- 00000007: 90 nop |
- 00000008: 90 nop |
- 00000009: 90 nop |
- 0000000a: 90 nop |
- 0000000b: 90 nop |
- 0000000c: 90 nop |
- 0000000d: f4 hlt |
-@vdis: |
- 0: ff 24 95 c8 6e 05 08 jmp * [%ebp + 4 * %edx] |
- 7: 90 nop |
- 8: 90 nop |
- 9: 90 nop |
- a: 90 nop |
- b: 90 nop |
- c: 90 nop |
- d: f4 hlt |
-@rdfa_output: |
- 0: [0] unrecognized instruction |
- return code: 1 |