...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| ||||||||
| Klocwork |
| CERT.CONC.WAKE_IN_LOOP | |||||||
| Parasoft C/C++test |
| CERT_CPP-CON54-a | Wrap functions that can spuriously wake up in a loop | ||||||
| Polyspace Bug Finder |
| CERT C++: CON54-CPP | Checks for situations where functions that can spuriously wake up are not wrapped in loop | ||||||
| 5019 |
...