 
                            ...
Failure to enclose calls to the wait(), wait_for(), or wait_until() member functions inside a while loop can lead to indefinite blocking and denial of service (DoS).
| Rule | Severity | LikelihoodRemediation Cost | Detectable | Repairable | Priority | Level | 
|---|---|---|---|---|---|---|
| CON54-CPP | Low | Unlikely | Yes | NoMedium | P2 | L3 | 
Automated Detection
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar | 
 | LANG.STRUCT.ICOL | Inappropriate Call Outside Loop | ||||||
| Helix QAC | 
 | C++5019 | |||||||
| 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 | 
...