| 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 |
| Helix QAC | | C1772, C1773 |
|
| Klocwork | | CONC.DL
CONC.NO_UNLOCK |
|
| Parasoft C/C++test | | 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 | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule CON35-C | Checks for deadlock (rule fully partially covered) |
| PRQA QA-C | | 1772,1773 | Enforced by MTA |
