...
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 | ||||||
| LDRA tool suite | 8.5.4 | 1 X, 17 D | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-DCL40-a | A declaration shall be visible when an object or function with external linkage is defined | ||||||
| Parasoft Insure++ | Runtime analysis | ||||||||
| Polyspace Bug Finder |
| MISRA CERT C: 2012 Rule 5.1 Rule DCL40-C | Checks for declaration mismatch (rule fully covered) Mismatch between function or variable declarations External identifiers shall be distinct All declarations of an object or function shall use the same names and type qualifiers | ||||||
| PRQA QA-C |
| 0776, 0778, 0779, 0789, 1510 | Fully implemented | ||||||
| PRQA QA-C++ |
| 1510 | |||||||
| RuleChecker |
| type-compatibility type-compatibility-link distinct-extern | Fully checked | ||||||
| TrustInSoft Analyzer |
| incompatible declaration | Exhaustively verified. |
...