...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| CONCURRENCY.STARVE.BLOCKING | Blocking in Critical Section | ||||||
| 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 covered) | ||||||
| PRQA QA-C |
| 4966, 4967 | |||||||
| Helix QAC |
|
Related Guidelines
Key here (explains table format and definitions)
...