...
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, 4982mutex (rule fully covered)
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...