Let mallocWrapper analysis also run in modular mode.

goblint · Nov 28, 2023 · a6eab9c · a6eab9c
1 parent b48ad6a
commit a6eab9c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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