JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

CodeSonar® 9.2p0 CONFIDENTIAL CodeSecure Inc
C and C++
Binaries


CONCURRENCY.DEADLOCK : Deadlock

Summary

A call to WaitForSingleObject(), which is highly prone to deadlocks.

For more general deadlock checking, enable classes Conflicting Lock Order, Locked Twice, Nested Locks and Task Delay Function.

Properties

Class Name Deadlock
Significance reliability
Mnemonic CONCURRENCY.DEADLOCK
Categories
MisraC2025 MisraC2025:D.5.2 There shall be no deadlocks between threads
MisraC2023 MisraC2023:D.5.2 There shall be no deadlocks between threads
Misra2012 Misra2012:D.5.2 There shall be no deadlocks between threads
MisraC++2023 MisraC++2023:0.3.2 A function call shall not violate the function's preconditions
CWE CWE:833 Deadlock
Availability Available for C and C++.
Enabling Checks for this warning class are enabled by default. To disable them, add the following WARNING_FILTER rule to the project configuration file.
WARNING_FILTER += discard class="Deadlock"

Example

#include <windows.h>

DWORD f(void)
{
    return WaitForSingleObject(GetCurrentProcess(), INFINITE); /* 'Deadlock' warning issued here */
}

Triggered When

The function is waiting for its own process or thread.

Relevant Configuration File Parameters

The following configuration file parameters affect checks for this warning class.

 

To report problems with this documentation, please visit https://support.codesecure.com/.