From a6eab9c066c79796dd4541f0d3f25f6246b21dca Mon Sep 17 00:00:00 2001
From: Julian Erhard <julian.erhard@tum.de>
Date: Tue, 28 Nov 2023 18:18:28 +0100
Subject: [PATCH] Let mallocWrapper analysis also run in modular mode.

---
 src/analyses/wrapperFunctionAnalysis.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/analyses/wrapperFunctionAnalysis.ml b/src/analyses/wrapperFunctionAnalysis.ml
index 613bb05770..dc806fe121 100644
--- a/src/analyses/wrapperFunctionAnalysis.ml
+++ b/src/analyses/wrapperFunctionAnalysis.ml
@@ -173,6 +173,9 @@ module MallocWrapper : MCPSpec = struct
 
   let finalize () =
     NodeVarinfoMap.marshal ()
+
+  (* TODO: Adapt implementaiton for modular mode to not yield additional contexts *)
+  let modular_support () = Both
 end