EOF validation tests

Co-authored-by: Paweł Bylica <[email protected]>

test/unittests/CMakeLists.txt

@@ -9,6 +9,7 @@ find_package(GTest CONFIG REQUIRED)
 add_executable(evmone-unittests
     analysis_test.cpp
     bytecode_test.cpp
+    eof_validation_test.cpp
     evm_fixture.cpp
     evm_fixture.hpp
     evm_test.cpp

test/unittests/eof_validation_test.cpp

@@ -0,0 +1,76 @@
+// evmone: Fast Ethereum Virtual Machine implementation
+// Copyright 2021 The evmone Authors.
+// SPDX-License-Identifier: Apache-2.0
+
+#include <evmone/eof.hpp>
+#include <gtest/gtest.h>
+#include <test/utils/utils.hpp>
+
+using namespace evmone;
+
+namespace
+{
+inline EOFValidationErrror validate_eof(bytes_view code, evmc_revision rev = EVMC_SHANGHAI) noexcept
+{
+    return ::validate_eof(rev, code.data(), code.size());
+}
+}  // namespace
+
+TEST(eof_validation, validate_empty_code)
+{
+    EXPECT_EQ(validate_eof({}), EOFValidationErrror::invalid_prefix);
+}
+
+TEST(eof_validation, validate_EOF_prefix)
+{
+    EXPECT_EQ(validate_eof(from_hex("00")), EOFValidationErrror::invalid_prefix);
+    EXPECT_EQ(validate_eof(from_hex("FE")), EOFValidationErrror::invalid_prefix);
+    EXPECT_EQ(validate_eof(from_hex("EF")), EOFValidationErrror::invalid_prefix);
+
+    EXPECT_EQ(validate_eof(from_hex("EF0101")), EOFValidationErrror::invalid_prefix);
+    EXPECT_EQ(validate_eof(from_hex("EFEF01")), EOFValidationErrror::invalid_prefix);
+    EXPECT_EQ(validate_eof(from_hex("EFFF01")), EOFValidationErrror::invalid_prefix);
+
+    EXPECT_EQ(validate_eof(from_hex("EF00")), EOFValidationErrror::eof_version_unknown);
+
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001")), EOFValidationErrror::section_headers_not_terminated);
+}
+
+// TODO tests from pre-Shanghai
+
+TEST(eof_validation, validate_EOF_version)
+{
+    EXPECT_EQ(validate_eof(from_hex("EF0002")), EOFValidationErrror::eof_version_unknown);
+    EXPECT_EQ(validate_eof(from_hex("EF00FF")), EOFValidationErrror::eof_version_unknown);
+}
+
+TEST(eof_validation, minimal_valid_EOF1_code)
+{
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010001 00 FE")), EOFValidationErrror::success);
+}
+
+TEST(eof_validation, minimal_valid_EOF1_code_with_data)
+{
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001 010001 020001 00 FE DA")), EOFValidationErrror::success);
+}
+
+TEST(eof_validation, EOF1_code_section_missing)
+{
+    EXPECT_EQ(validate_eof(from_hex("EF0001 00")), EOFValidationErrror::code_section_missing);
+    EXPECT_EQ(
+        validate_eof(from_hex("EF0001 020001 DA")), EOFValidationErrror::code_section_missing);
+}
+
+TEST(eof_validation, EOF1_code_section_0_size)
+{
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010000 020001 00 DA")),
+        EOFValidationErrror::zero_section_size);
+}
+
+TEST(eof_validation, EOF1_data_section_0_size)
+{
+    EXPECT_EQ(validate_eof(from_hex("EF0001 010001 020000 00 FE")),
+        EOFValidationErrror::zero_section_size);
+}