From 509312afdd9bd871d0f8082c977c1cd1f4ba3d0d Mon Sep 17 00:00:00 2001
From: Yaqin <135983909+Yaqin23@users.noreply.github.com>
Date: Thu, 5 Mar 2026 11:42:17 +0000
Subject: [PATCH 1/2] Remove duplicate SetFDP function definitiontest

Signed-off-by: Yaqin <135983909+Yaqin23@users.noreply.github.com>
---
 src/state_example/mocks.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/state_example/mocks.cpp b/src/state_example/mocks.cpp
index 7def44e..69e7711 100644
--- a/src/state_example/mocks.cpp
+++ b/src/state_example/mocks.cpp
@@ -27,6 +27,9 @@ static FuzzedDataProvider *gFDP;
 void SetFDP(FuzzedDataProvider *fuzzed_data_provider) {
   gFDP = fuzzed_data_provider;
 }
+void SetFDP(FuzzedDataProvider *fuzzed_data_provider) {
+  gFDP = fuzzed_data_provider;
+}
 
 FuzzedDataProvider *GetFDP() { return gFDP; }
 

From ed759315796824555984995df6c8ea7b46d9f84e Mon Sep 17 00:00:00 2001
From: Yaqin <135983909+Yaqin23@users.noreply.github.com>
Date: Thu, 5 Mar 2026 11:45:44 +0000
Subject: [PATCH 2/2] Add trigger_double_free function to avoid double free

Signed-off-by: Yaqin <135983909+Yaqin23@users.noreply.github.com>
---
 src/advanced_examples/explore_me.cpp | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/advanced_examples/explore_me.cpp b/src/advanced_examples/explore_me.cpp
index aa4c4ae..dd6ebde 100644
--- a/src/advanced_examples/explore_me.cpp
+++ b/src/advanced_examples/explore_me.cpp
@@ -4,4 +4,11 @@ static void trigger_double_free() {
     int* ptr = new int(42); // Allocate memory
     delete ptr; // Free memory
     ptr = nullptr; // Set pointer to null to avoid double free
-}
\ No newline at end of file
+}
+
+static void trigger_double_free() {
+    // Example implementation that avoids double free
+    int* ptr = new int(42); // Allocate memory
+    delete ptr; // Free memory
+    ptr = nullptr; // Set pointer to null to avoid double free
+}