Protect my leaks

formalsec · Jun 24, 2024 · 63a96f3 · 63a96f3
1 parent d6d1ca5
commit 63a96f3
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lib/bitwuzla_mappings.default.ml b/lib/bitwuzla_mappings.default.ml
@@ -20,6 +20,8 @@ include Mappings_intf
 
 let _debug = false
 
+let leak_mutex = Mutex.create ()
+
 let leaky_list = ref []
 
 module Fresh_bitwuzla (B : Bitwuzla_cxx.S) : M = struct
@@ -416,7 +418,9 @@ include (
     module Make () = struct
       let bitwuzla = (module Bitwuzla_cxx.Make () : Bitwuzla_cxx.S)
 
-      let () = leaky_list := bitwuzla :: !leaky_list
+      let () =
+        Mutex.protect leak_mutex (fun () ->
+            leaky_list := bitwuzla :: !leaky_list )
 
       include Fresh_bitwuzla ((val bitwuzla))
     end