Index: src/trusted/validator_x86/testdata/64/jump_outside.tf |
diff --git a/src/trusted/validator_x86/testdata/64/jump_outside.tf b/src/trusted/validator_x86/testdata/64/jump_outside.tf |
new file mode 100644 |
index 0000000000000000000000000000000000000000..5f305bd993c503a6fce7707ebb7c2ac1a6784aa6 |
--- /dev/null |
+++ b/src/trusted/validator_x86/testdata/64/jump_outside.tf |
@@ -0,0 +1,12 @@ |
+BITS: 64 |
+OUTCOME: invalid |
+ |
+# direct aligned jump outside of code |
+# jmp $20 |
+hex: E9 1B 00 00 00 |
+ |
+# direct unaligned jump outside of code |
+# jmp $21 |
+hex: E9 17 00 00 00 |
+nc_out: ERROR: Instruction jumps to bad address |
+ |