Make memLeak path- & ctx-sensitive

Co-authored-by: Michael Schwarz <[email protected]>
goblint · Nov 6, 2023 · 2174f10 · 2174f10
1 parent 5f4f94b
commit 2174f10
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/analyses/memLeak.ml b/src/analyses/memLeak.ml
@@ -14,9 +14,10 @@ struct
   let name () = "memLeak"
 
   module D = ToppedVarInfoSet
-  module C = Lattice.Unit
+  module C = D
+  module P = IdentityP (D)
 
-  let context _ _ = ()
+  let context _ d = d
 
   (* HELPER FUNCTIONS *)
   let warn_for_multi_threaded ctx =