...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| type-compatibility type-compatibility-link distinct-extern | Fully checked | |||||||
| Axivion Bauhaus Suite |
| CertC-DCL40 | Fully implemented | |||||||
| CodeSonar |
| LANG.STRUCT.DECL.IF LANG.STRUCT.DECL.IO | Inconsistent function declarations Inconsistent object declarations | |||||||
| Coverity |
| MISRA C 2012 Rule 8.4 | Implemented | |||||||
| Cppcheck Premium |
| premium-cert-dcl40-c | Partially implemented | |||||||
| Helix QAC |
| C0776, C0778, C0779, C0789, C1510 C++1510 | Fully implemented | |||||||
| Klocwork |
| MISRA.FUNC.NOPROT.DEF.2012 | Fully implemented | |||||||
| LDRA tool suite | 8.5.4 | 1 X, 17 D | Partially implemented | |||||||
| Parasoft C/C++test |
| CERT_C-DCL40-a | All declarations of an object or function shall have compatible types | |||||||
| Parasoft Insure++ | Runtime analysis | |||||||||
| PC-lint Plus |
| 18, 621, 793, 4376 | Fully supported | |||||||
| Polyspace Bug Finder |
| Checks for declaration mismatch (rule fully covered) | ||||||||
| RuleChecker |
| type-compatibility type-compatibility-link distinct-extern
| Fully checked | |||||||
| TrustInSoft Analyzer |
| incompatible declaration | Exhaustively verified. |
...