...
Tool | Version | Checker | Description | |||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
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 |
Related Vulnerabilities
...