...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| PRQA QA-C |
| 4961, 4962 | |||||||
| Parasoft C/C++test |
| CERT_C-CON31-a | Do not destroy another thread's mutex | ||||||
| Destruction of locked mutex | Task tries to destroy a mutex in the locked state |
...