...
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) |
...