...
Acquiring and releasing locks in the wrong order can result in deadlock.
Rule | Severity | Likelihood |
|---|
Detectable | Repairable | Priority | Level |
|---|---|---|---|
LCK07-J | Low | Likely | No |
No | P3 | L3 |
Automated Detection
Some static analysis tools can detect violations of this rule.
| Tool | Version | Checker | Description |
|---|---|---|---|
| Coverity | 7.5 | LOCK_INVERSION | Implemented |
| Parasoft Jtest |
| CERT.LCK07.LORD | Ensure that nested locks are ordered correctly | |||||||
| PVS-Studio |
| V6129 |
| ThreadSafe |
| CCE_DL_DEADLOCK | Implemented |
...
Related Guidelines
CWE-833, Deadlock |
Bibliography
...
...