...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
LDRA tool suite |
| 17 D, 69 S, 42 S | Partially implemented | ||||||
Parasoft C/C++test |
| CERT_C-MSC14-a | Evaluation of constant unsigned integer expressions should not lead to wrap-around | ||||||
PRQA QA-C |
| 0202, 2840240, 5810241, 6340242, 14340243, 02400246, 0241 0284, 02460551, 05510581, 0601, 0635, 0660, 0662, 0830, 0831, 0840, 0883, 0899, 1001, 1002, 1008, 1012, 1014, 1015, 1019, 1020, 1021, 1035, 1036, 10371037, 1038, 1043, 1044, 1045, 1046, 1434, 3664 | Partially implemented |
...