...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
LDRA tool suite |
| 17 D, 69 S, 42 S | Partially implemented | |||||||
Parasoft C/C++test |
| MISRA-051 | CERT_C-MSC14-a | Evaluation of constant unsigned integer expressions should not lead to wrap-around Implemented | ||||||
PRQA QA-C |
| 0202, 284, 581, 634, 1434, 0240, 0241, 0246, 0551, 0601, | Partially implemented |
...