...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| CodeSonar |
| CONCURRENCY.LOCALARG | Local Variable Passed to Thread | ||||||
| Cppcheck Premium |
| premium-cert-con31-c | Fully implemented | ||||||
| Helix QAC |
| DF4961, DF4962 | |||||||
| Parasoft C/C++test |
| CERT_C-CON31-a | Do not destroy another thread's mutex | ||||||
| CERT C: Rule CON31-C | Checks for destruction of locked mutex (rule fully covered) |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...