...
| Tool | Version | Checker | Description |
|---|---|---|---|
| Coverity | 6.5 | DEADLOCK | Fully Implementedimplemented |
Related Guidelines
| CERT Oracle Secure Coding Standard for Java | LCK07-J. Avoid deadlock by requesting and releasing locks in the same order |
| MITRE CWE | CWE-764, Multiple locks of critical resources |
...
| [Barney 2010] | pthread_mutex tutorial |
| [Bryant 2003] | Chapter 13, "Concurrent Programming" |