...
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 | |||||||||||||
| Destruction of locked mutex | Task tries to destroy a mutex in the locked state | CERT C: Rule POS48-C | Checks for destruction of locked mutex (rule fully covered) | PRQA QA-C | Include Page | | PRQA QA-C_v | PRQA QA-C_v | 4971, 4972, 4981, 4982
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...