Index: src/trusted/validator_x86/testdata/32/branch-middle.test |
diff --git a/src/trusted/validator_x86/testdata/32/branch-middle.test b/src/trusted/validator_x86/testdata/32/branch-middle.test |
deleted file mode 100644 |
index 9aa14921d1008312fd35d0c06d578884f71a8081..0000000000000000000000000000000000000000 |
--- a/src/trusted/validator_x86/testdata/32/branch-middle.test |
+++ /dev/null |
@@ -1,61 +0,0 @@ |
-@hex: |
- # Tests whether we note a branch into the middle of a nacl pattern. |
- 7e 03 |
- 83 e0 e0 |
- ff d0 |
-@nval: |
- VALIDATOR: 5: Bad jump target |
- *** <input> IS UNSAFE *** |
-@nvals: |
- VALIDATOR: 5: Bad jump target |
- *** <input> IS UNSAFE *** |
- |
- Opcode Histogram; |
- 1 0x7e 1 0x83 1 0xff |
- Analysis Summary: |
- 3 Checked instructions |
- 3 checked jump targets |
- 1 calls/jumps need dynamic checking (33.33%) |
- |
- Problems: |
- 0 illegal instructions |
- 1 bad jump targets |
- 0 illegal unprotected indirect jumps (including ret) |
- 0 instruction alignment defects |
- 0 segmentation errors |
- 0 bad prefix |
- 0 bad instruction length |
- 0 internal errors |
-@nvalds: |
- VALIDATOR: 0: Jumps into middle of nacl pattern |
- *** <input> IS UNSAFE *** |
- |
- Opcode Histogram; |
- 1 0x7e 1 0x83 1 0xff |
- Analysis Summary: |
- 3 Checked instructions |
- 2 checked jump targets |
- 1 calls/jumps need dynamic checking (33.33%) |
- |
- Problems: |
- 0 illegal instructions |
- 1 bad jump targets |
- 0 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: 7e 03 jle 0x5 |
- 00000002: 83 e0 e0 and %eax, 0xe0 |
- 00000005: ff d0 call %eax |
-@vdis: |
- 0: 7e 03 jle 0x5 |
- 2: 83 e0 e0 and %esp, 0xffffffffffffffe0 |
- 5: ff d0 call * %edx |
-@rdfa_output: |
- 0: [0] bad jump target |
- return code: 1 |
-@validators_disagree: |
- Because rdfaval reported jump location, not target. |