Module Synchronization

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

Import path

semmle.code.cpp.commons.Synchronization

Imports

cpp

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

Predicates

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