...
Tool | Version | Checker | Description | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| CONCURRENCY.DU | Double Unlock | |||||||||||||||
| Helix QAC |
| DF4971, DF4972, DF4981, DF4982 | ||||||||||||||||
| 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 | PRQA QA-C | |||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 4971, 4972, 4981, 4982 | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_Vmutex (rule fully covered)
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...