CDRIVER-5676 implement bson_validate libfuzzer entrypoint (#1705)

* Add a fuzzer for bson_validate

* Use new fno-sanitize-recover format

* Update src/libbson/fuzz/fuzz_test_validate.c

Co-authored-by: Kevin Albertson <[email protected]>

* Update src/libbson/fuzz/fuzz_test_validate.c

Co-authored-by: Ezra Chung <[email protected]>

---------

Co-authored-by: Kevin Albertson <[email protected]>
Co-authored-by: Ezra Chung <[email protected]>

Author: 3 people

build/cmake/Sanitizers.cmake

@@ -35,7 +35,7 @@ string(REPLACE ";" "," _sanitize "${MONGO_SANITIZE}")
 if (_sanitize)
     string (MAKE_C_IDENTIFIER "HAVE_SANITIZE_${_sanitize}" ident)
     string (TOUPPER "${ident}" varname)
-    set (flag "-fsanitize=${_sanitize}")
+    set (flag -fsanitize=${_sanitize} -fno-sanitize-recover=all)
 
     cmake_push_check_state ()
         set (CMAKE_REQUIRED_FLAGS "${flag}")

src/libbson/fuzz/CMakeLists.txt

@@ -2,3 +2,8 @@ add_executable(fuzz_test_init_from_json EXCLUDE_FROM_ALL
    fuzz_test_init_from_json.c)
 target_link_libraries(fuzz_test_init_from_json PRIVATE bson_static)
 set_property(TARGET fuzz_test_init_from_json APPEND PROPERTY LINK_OPTIONS -fsanitize=fuzzer)
+
+add_executable(fuzz_test_validate EXCLUDE_FROM_ALL
+   fuzz_test_validate.c)
+target_link_libraries(fuzz_test_validate PRIVATE bson_static)
+set_property(TARGET fuzz_test_validate APPEND PROPERTY LINK_OPTIONS -fsanitize=fuzzer)

src/libbson/fuzz/fuzz_test_validate.c

@@ -0,0 +1,18 @@
+#include <stdlib.h>
+#include <stdio.h>
+#include <stdint.h>
+#include <bson/bson.h>
+
+int
+LLVMFuzzerTestOneInput (const uint8_t *data, size_t size)
+{
+   bson_t b;
+   if (bson_init_static (&b, data, size)) {
+      bson_validate (&b,
+                     BSON_VALIDATE_UTF8 | BSON_VALIDATE_DOLLAR_KEYS | BSON_VALIDATE_DOT_KEYS |
+                        BSON_VALIDATE_UTF8_ALLOW_NULL | BSON_VALIDATE_EMPTY_KEYS,
+                     NULL);
+      return 0;
+   }
+   return -1;
+}