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

Module `Goblint_lib.MutexAnalysis`

Must lockset and protecting lockset analysis (mutex).

module M = Messages

module Addr = ValueDomain.Addr

module Lockset = LockDomain.Lockset

module Mutexes = LockDomain.Mutexes

module LF = LibraryFunctions

module VarSet : sig ... end

module Spec : sig ... end