...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| CONCURRENCY.STARVE.BLOCKING | Blocking in Critical Section | ||||||
Helix QAC |
| C4966, C4967 | |||||||
Klocwork |
| CONC.SLEEP | |||||||
Parasoft C/C++test |
| CERT_C-POS52-a | Do not use blocking functions while holding a lock | ||||||
Polyspace Bug Finder |
| CERT C: Rule POS52-C | Checks for blocking operation while holding lock (rule partially fully covered) | ||||||
PRQA QA-C |
| 4966, 4967 |
...