...
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, 0240, 0241, 0242, 0243, 0246, 0284, 0551, 0581, 0601, 0633, 0634, 0635, 0660, 0662, 0830, 0831, 0840, 0883, 0899, 1001, 1002, 1003, 1006, 1008, 1012, 1014, 1015, 1019, 1020, 1021, 1022, 1026, 1028, 1029, 1034, 1035, 1036, 10371037, 1038, 1041, 1042, 1043, 1044, 1045, 1046, 1434, 3664 | Partially implemented |
Related Vulnerabilities
...