Slow inputs example

.cifuzz-findings/philosophical_capybara/finding.json

@@ -0,0 +1,17 @@
+{
+  "name": "philosophical_capybara",
+  "type": "WARNING",
+  "input_data": "inGKcf+S3ESO5gI73P////////8BAFBgAABaIP9DjuaC",
+  "logs": [
+    "Slow input: 38 seconds for processing",
+    "artifact_prefix='/tmp/libfuzzer-out-2077056338/'; Test unit written to .cifuzz-findings/philosophical_capybara/crashing-input",
+    "Base64: inGKcf+S3ESO5gI73P////////8BAFBgAABaIP9DjuaC"
+  ],
+  "details": "Slow input detected. Processing time: 38 s",
+  "more_details": {
+    "id": "slow_input"
+  },
+  "created_at": "2024-08-22T09:02:49.692610917Z",
+  "input_file": ".cifuzz-findings/philosophical_capybara/crashing-input",
+  "fuzz_test": "slow_input_checks_fuzz_test"
+}

.gitignore

@@ -12,5 +12,6 @@ lcov.info
 
 .cifuzz-findings/*
 !.cifuzz-findings/awesome_gnu/
-
-.cifuzz-findings/awesome_gnu/.lock
+.cifuzz-findings/awesome_gnu/.lock
+!.cifuzz-findings/philosophical_capybara/
+.cifuzz-findings/philosophical_capybara/.lock

src/advanced_examples/CMakeLists.txt

@@ -49,6 +49,7 @@ endif()
 foreach(TestType IN ITEMS
     structured_input_checks
     custom_mutator_example_checks
+    slow_input_checks
 )
 
     add_executable(${TestType}_test
@@ -69,6 +70,8 @@ foreach(TestType IN ITEMS
 
     add_fuzz_test(${TestType}_fuzz_test
         ${TestType}_test.cpp
+        TEST_FRAMEWORK 
+        GTEST
     )
 
     target_link_libraries(${TestType}_fuzz_test

src/advanced_examples/explore_me.cpp

@@ -1,5 +1,6 @@
 #include <cstring>
 #include <zlib.h>
+#include <iostream>
 #include "explore_me.h"
 
 static long insecureEncrypt(long input);
@@ -32,6 +33,20 @@ void ExploreCompressedInputChecks(const uint8_t *Data, size_t Size){
       }
 }
 
+void ExploreSlowInputsChecks(int a, int b){
+    if (a == 48664131) {
+        for (int i = 0; i < b; i++) {
+            if (i % 100'000'000 == 0) {
+                std::cerr   << "In loop at position: " 
+                            << std::to_string(i) 
+                            << " of " 
+                            << std::to_string(b) 
+                            << std::endl;
+            }
+        }
+    }
+}
+
 static long insecureEncrypt(long input) {
   long key = 0xefe4eb93215cb6b0L;
   return input ^ key;

src/advanced_examples/explore_me.h

@@ -17,3 +17,4 @@ struct InputStruct {
 
 void ExploreStructuredInputChecks(InputStruct inputStruct);
 void ExploreCompressedInputChecks(const uint8_t *Data, size_t Size);
+void ExploreSlowInputsChecks(int a, int b);

src/advanced_examples/slow_input_checks_test.cpp

@@ -0,0 +1,22 @@
+#include <cifuzz/cifuzz.h>
+#include <fuzzer/FuzzedDataProvider.h>
+
+#include "explore_me.h"
+#include <gtest/gtest.h>
+
+TEST(ExploreSlowInputsChecks, FirstTest) {
+
+    EXPECT_NO_THROW(ExploreSlowInputsChecks(23323, 100));
+}
+
+TEST(ExploreSlowInputsChecks, SecondTest) {
+    EXPECT_NO_THROW(ExploreSlowInputsChecks(1324153, 192198));
+}
+
+DEBUG_FINDING(philosophical_capybara)
+FUZZ_TEST(const uint8_t *data, size_t size) {
+    FuzzedDataProvider fdp(data, size);
+    long a = fdp.ConsumeIntegral<int>();
+    long b = fdp.ConsumeIntegral<int>();
+    ExploreSlowInputsChecks(a,b);
+}