Up – Package index » goblint » Library goblint.lib » Goblint_lib » MutexEventsAnalysis

Module `Goblint_lib.MutexEventsAnalysis`

Mutex events analysis (Lock and Unlock).

module M = Messages

module Addr = Goblint_lib.ValueDomain.Addr

module Lockset = LockDomain.Lockset

module Mutexes = LockDomain.Mutexes

module LF = LibraryFunctions

module Spec : Analyses.MCPSpec