...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| C0202, C0240, C0241, C0242, C0243, C0246, C0284, C0551, C0581, C0601, C0633, C0634, C0635, C0660, C0662, C0830, C0831, C0840, C0899, C1001, C1002, C1003, C1006, C1008, C1012, C1014, C1015, C1016, C1017, C1019, C1020, C1021, C1022, C1026, C1028, C1029, C1034, C1035, C1036, C1037, C1038, C1041, C1042, C1043, C1044, C1045, C1046, C1434, C3664 | |||||||
| Klocwork |
| CERT.STR.RANGE.FORMATTER CERT.LITERAL.OCTAL CERT.LITERAL.BINARY CERT.LITERAL.MULTIBYTE.CHAR CERT.BITFIELD.SIGN.MODIFIER CERT.BITFIELD.NOT.INT CERT.UNNAMED.MEMBER CERT.NAME.DOLLAR.CHAR CERT.ENUM.TYPE.SPECIFIER CERT.FIXED.MEMORY.ADDRESS CERT.TYPEOF CERT.STMT.EXPR CERT.ALIGNOF CERT.ARRAY.LENGTH.ZERO CERT.EMPTY.AGR.INIT CERT.LITERAL.SUFFIX.I64 CERT.ANONYMOUS.UNION CERT.ANONYMOUS.STRUCT CERT.ENUM.LITERAL.TYPE.INT | |||||||
| LDRA tool suite |
| 17 D, 69 S, 42 S | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-MSC14-a CERT_C-MSC14-b | Evaluation of constant unsigned integer expressions should not lead to wrap-around |
...