Module Goblint_lib.MutexEventsAnalysis

Mutex locking and unlocking analysis (mutexEvents).

Emits Events.t.Lock and Events.t.Unlock to other analyses.

module M = Messages
module Addr = ValueDomain.Addr
module LF = LibraryFunctions