...
Rule | Severity | Likelihood | Detectable | Repairable | Priority | Level |
|---|---|---|---|---|---|---|
POS52-C | Low | Probable | No | No | P2 | L3 |
Automated Detection
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| CONCURRENCY.STARVE.BLOCKING | Blocking in Critical Section | ||||||
| Helix QAC |
| DF4966, DF4967 | |||||||
| 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 fully covered) | ||||||
| Security Reviewer - Static Reviewer |
| RTOS_20 | Fully implemented |
Related Guidelines
Key here (explains table format and definitions)
...