Module Goblint_lib.DescendantLockset

descendant lockset analysis descendantLockset analyzes a happened-before relationship related to thread creations with mutexes held.

Enabling creationLockset may improve the precision of this analysis.

@see Daniel Bund. "Leveraging the Potential of Inter-Threaded Locksets in Abstract Interpretation", B.Sc. thesis at TUM. Available upon request.

module TIDs = ConcDomain.ThreadSet
module Lockset = LockDomain.MustLockset
module Spec : sig ... end