For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

Synchronization

Module Synchronization

Utilities for analyzing synchronization primitives, such as mutexes and semaphores.


                                import semmle.code.cpp.commons.Synchronization

cpp	Provides classes and predicates for working with C/C++ code.

lockCall	Holds if `call` is a call that locks or tries to lock its argument `arg`.
mustlockCall	Holds if `call` is a call that always locks its argument `arg`.
trylockCall	Holds if `call` is a call that tries to lock its argument `arg`, but may return without success.
unlockCall	Holds if `call` is a call that unlocks its argument `arg`.

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 `Options.qll`.