...
Java neither prevents deadlocks nor requires their detection [JLS 2005]. Deadlock can occur when two or more threads request and release locks in different orders. Consequently, programs are required to avoid deadlock by acquiring and releasing locks in the same order.
...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity | v7.5 | LOCK_INVERSION LOCK_ORDERING | Implemented | ||||||
| ThreadSafe |
| CCE_DL_DEADLOCK | Implemented |
Related Guidelines
CWE-833. Deadlock |
Bibliography