Frama-C:
Plug-ins:
Libraries:

Frama-C API - Mt_mutexes_types

type access_or_protection =
  1. | Unaccessed
  2. | Mutexes of Mt_types.MutexPresence.t
type mutexes_by_access = {
  1. mutexes_for_read : access_or_protection;
  2. mutexes_for_write : access_or_protection;
}
module MutexesByAccess : sig ... end