
...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| LANG.STRUCT.ICOL | Inappropriate Call Outside Loop | |||||||
Cppcheck Premium |
| premium-cert-con36-c | Fully implemented | |||||||
Helix QAC |
| C2027 | ||||||||
Klocwork |
| CERT.CONC.WAKE_IN_LOOP_C | ||||||||
Parasoft C/C++test |
| CERT_C-CON36-a | Wrap functions that can spuriously wake up in a loop | |||||||
Polyspace Bug Finder |
| CERT C: Rule CON36-C | Checks for situations where functions that can spuriously wake up are not wrapped in loop (rule fully covered) |
...