Add fizzy_validate() C API function

include/fizzy/fizzy.h

@@ -3,10 +3,16 @@
 // SPDX-License-Identifier: Apache-2.0
 #pragma once
 
+#include <stdbool.h>
+#include <stddef.h>
+#include <stdint.h>
+
 #if __cplusplus
 extern "C" {
 #endif
 
+bool fizzy_validate(const uint8_t* wasm_binary, size_t wasm_binary_size);
+
 #if __cplusplus
 }
 #endif

lib/fizzy/CMakeLists.txt

@@ -17,6 +17,7 @@ target_sources(
 
     PRIVATE
     bytes.hpp
+    capi.cpp
     constexpr_vector.hpp
     exceptions.cpp
     exceptions.hpp

lib/fizzy/capi.cpp

@@ -0,0 +1,21 @@
+// Fizzy: A fast WebAssembly interpreter
+// Copyright 2020 The Fizzy Authors.
+// SPDX-License-Identifier: Apache-2.0
+
+#include "parser.hpp"
+#include <fizzy/fizzy.h>
+
+extern "C" {
+bool fizzy_validate(const uint8_t* wasm_binary, size_t wasm_binary_size)
+{
+    try
+    {
+        fizzy::parse({wasm_binary, wasm_binary_size});
+        return true;
+    }
+    catch (...)
+    {
+        return false;
+    }
+}
+}

test/compilation/compilation_test.c

@@ -4,4 +4,7 @@
 
 #include <fizzy/fizzy.h>
 
-void dummy() {}
+bool dummy()
+{
+    return fizzy_validate(NULL, 0);
+}

test/unittests/CMakeLists.txt

@@ -10,6 +10,7 @@ target_link_libraries(fizzy-unittests PRIVATE fizzy::fizzy fizzy::test-utils GTe
 target_sources(
     fizzy-unittests PRIVATE
     api_test.cpp
+    capi_test.cpp
     constexpr_vector_test.cpp
     end_to_end_test.cpp
     execute_call_test.cpp

test/unittests/capi_test.cpp

@@ -0,0 +1,14 @@
+// Fizzy: A fast WebAssembly interpreter
+// Copyright 2020 The Fizzy Authors.
+// SPDX-License-Identifier: Apache-2.0
+
+#include <fizzy/fizzy.h>
+#include <gtest/gtest.h>
+
+TEST(capi, fizzy_validate)
+{
+    uint8_t wasm_prefix[]{0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00};
+    EXPECT_TRUE(fizzy_validate(wasm_prefix, sizeof(wasm_prefix)));
+    wasm_prefix[7] = 1;
+    EXPECT_FALSE(fizzy_validate(wasm_prefix, sizeof(wasm_prefix)));
+}