...
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 | ||||||||||||||||||||||
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 | A declaration shall be visible when All declarations of an object or function with external linkage is definedshall 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) | Polyspace Bug Finder | ||||||||||||||||||||||
Include Page | Polyspace Bug Finder_V | Polyspace Bug Finder_V | 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 | |||||||||||||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | 0776, 0778, 0779, 0789, 1510 | Fully implemented | PRQA QA-C++ | ||||||||||||||||||||
Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | 1510|||||||||||||||||||||||
RuleChecker |
| type-compatibility type-compatibility-link distinct-extern
| Fully checked | ||||||||||||||||||||||
TrustInSoft Analyzer |
| incompatible declaration | Exhaustively verified. |
Related Guidelines
Key here (explains table format and definitions)
...