Tests for RJUMP* instruction validation

ethereum · Oct 5, 2021 · 687df04 · 687df04
1 parent a79265d
commit 687df04
Showing 1 changed file with 72 additions and 0 deletions.
diff --git a/test/unittests/eof_validation_test.cpp b/test/unittests/eof_validation_test.cpp
@@ -140,3 +140,75 @@ TEST(eof_validation, EOF1_truncated_push)
         EXPECT_EQ(validate_eof(container), EOFValidationErrror::success) << hex(container);
     }
 }
+
+TEST(eof_validation, EOF1_rjump_truncated)
+{
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001 010001 00 5C")), EOFValidationErrror::truncated_immediate);
+
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001 010002 00 5C00")), EOFValidationErrror::truncated_immediate);
+}
+
+TEST(eof_validation, EOF1_rjumpi_truncated)
+{
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001 010001 00 5D")), EOFValidationErrror::truncated_immediate);
+
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001 010002 00 5D00")), EOFValidationErrror::truncated_immediate);
+}
+
+TEST(eof_validation, EOF1_rjump_invalid_destination)
+{
+    // Into header (offset = -5)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010003 00 5CFFFB")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To before code begin (offset = -13)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010003 00 5CFFF3")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To after code end (offset = 1)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010003 00 5C0001")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To code end (offset = 0)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010003 00 5C0000")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To the same RJUMP immediate (offset = -1)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010003 00 5CFFFF")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To PUSH immediate (offset = -4)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005CFFFC")),
+        EOFValidationErrror::invalid_rjump_destination);
+}
+
+TEST(eof_validation, EOF1_rjumpi_invalid_destination)
+{
+    // Into header (offset = -7)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005DFFF9")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To before code begin (offset = -15)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005DFFF1")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To after code end (offset = 1)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005D0001")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To code end (offset = 0)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005D0000")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To the same RJUMPI immediate (offset = -1)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005DFFFF")),
+        EOFValidationErrror::invalid_rjump_destination);
+
+    // To PUSH immediate (offset = -4)
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010005 00 60005DFFFC")),
+        EOFValidationErrror::invalid_rjump_destination);
+}