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

val big_kernel_lock : Goblint_lib.LockDomain.Addr.t

val console_sem : Goblint_lib.LockDomain.Addr.t

val verifier_atomic : Goblint_lib.LockDomain.Addr.t

module Spec : Analyses.MCPSpec