...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| CONCURRENCY.DU | Double Unlock | ||||||
| Helix QAC |
| C4971, C4972, C4981, C4982 C++4971, C++4972, C++4981, C++4982 | |||||||
| Parasoft C/C++test |
| CERT_C-POS48-a | Do not destroy another thread's mutex | ||||||
| CERT C: Rule POS48-C | Checks for destruction of locked mutex (rule fully covered) | |||||||
| PRQA QA-C |
| 4971, 4972, 4981, 4982 |
...