Module Synchronization
Utilities for analyzing synchronization primitives, such as mutexes and semaphores.
Import path
import semmle.code.cpp.commons.Synchronization
Imports
cpp |
Provides classes and predicates for working with C/C++ code. |
Predicates
lockCall |
Holds if |
mustlockCall |
Holds if |
trylockCall |
Holds if |
unlockCall |
Holds if |
Classes
DefaultMutexType |
A class or struct type that has both a lock and an unlock function candidate, and is therefore a mutex. |
MutexType |
A type that acts as a mutex. This class is extended below and and may be extended in |