Hide mutex structure contents in base analysis

sim642 · sim642 · commit 3841fe79e095 · 2022-05-25T12:57:47.000+03:00
diff --git a/src/cdomains/valueDomain.ml b/src/cdomains/valueDomain.ml
@@ -883,6 +883,7 @@ struct
       let mu = function `Blob (`Blob (y, s', orig), s, orig2) -> `Blob (y, ID.join s s',orig) | x -> x in
       let r =
       match x, offs with
+      | _, _ when is_mutex_type t -> `Top (* hide mutex structure contents, not updated anyway *)
       | `Blob (x,s,orig), `Index (_,ofs) ->
         begin
           let l', o' = shift_one_over l o in
