...
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Automated Detection
| Tool | Version | Checker | Description |
|---|
| Astrée | | deadlock | Supported by sound analysis (deadlock alarm) |
| CodeSonar | | CONCURRENCY.LOCK.ORDER | Conflicting lock order |
| Coverity | | ORDER_REVERSAL | Fully implemented |
| Cppcheck Premium | | Include Page |
|---|
| Cppcheck Premium_V |
|---|
| Cppcheck Premium_V |
|---|
|
| premium-cert-con35-c | Partially implemented |
| Helix QAC | | C1772, C1773 |
|
| Klocwork | | CONC.DL
CONC.NO_UNLOCK |
|
| Parasoft C/C++test | | BD-TRS-DLOCK | | CERT_C-CON35-a
| Do not acquire locks in different order |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 2462 | Fully supported |
| Polyspace Bug Finder | | Fully implemented | R2016a | Deadlock | Call sequence to lock functions cause two tasks to block each other | CERT C: Rule CON35-C | Checks for deadlock (rule partially covered) |
Related Guidelines
Key here (explains table format and definitions)
...
