...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| CONCURRENCY.STARVE.BLOCKING | Blocking in critical section | ||||||
Klocwork |
| CONC.SLEEP | |||||||
Parasoft C/C++test |
| CERT_C-CON05-a | Do not use blocking functions while holding a lock | ||||||
Polyspace Bug Finder |
| CERT C: Rec. CON05-C | Checks for blocking operation while holding lock (Rec. partially covered) |
...