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

Module `Goblint_lib.MutexAnalysis`

Protecting mutex analysis. Must locksets locally and for globals.

module M = Messages

module Addr = Goblint_lib.ValueDomain.Addr

module Lockset = LockDomain.Lockset

module Mutexes = LockDomain.Mutexes

module LF = LibraryFunctions

module type SpecParam = sig ... end

module MakeSpec (P : SpecParam) : sig ... end

module WriteBased : sig ... end

module Spec : sig ... end