| Tool | Version | Checker | Description |
|---|
| Astrée | | deadlock | Fully checked |
| 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 | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule POS52-C | Checks for blocking operation while holding lock (rule fully covered) |
| Security Reviewer - Static Reviewer | | Include Page |
|---|
| Security Reviewer - Static Reviewer_V |
|---|
| Security Reviewer - Static Reviewer_V |
|---|
|
| RTOS_20 | Fully implemented |
