...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| C++4961, C++4962 | |||||||
| Klocwork |
| CERT.CONC.MUTEX.DESTROY_WHILE_LOCKED | |||||||
| Parasoft C/C++test |
| CERT_CPP-CON50-a | Do not destroy another thread's mutex | ||||||
| Polyspace Bug Finder |
| CERT C++: CON50-CPP | Checks for destruction of locked mutex (rule partially covered) | ||||||
| 4961, 4962 |
...