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 Lockset = LockDomain.Lockset
module Mutexes = LockDomain.Mutexes
module LF = LibraryFunctions