Utilities for analyzing synchronization primitives, such
as mutexes and semaphores.
Provides classes and predicates for working with C/C++ code.
call is a call that locks or tries to lock its argument
call is a call that always locks its argument
call is a call that tries to lock its argument
arg, but may return without success.
call is a call that unlocks its argument
A class or struct type that has both a lock and an unlock function candidate, and is therefore a mutex.
A type that acts as a mutex. This class is extended below and and may be extended in