...
Tool | Version | Checker | Description | |||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker | ||||||||||||
CodeSonar |
| CONCURRENCY.LOCALARG | Local Variable Passed to Thread | |||||||||||
Helix QAC |
| DF4961, DF4962 | PRQA QA-C | |||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | 4961, 4962 | |||||||||||
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) |
...