...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| type-compatibility | Partially checked | ||||||
| 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 Insure++ | runtime | ||||||||
| Polyspace Bug Finder | R2016a | Declaration mismatch | Mismatch between function or variable declarations | ||||||
| PRQA QA-C |
| 1510,776,778,779,789 | Fully implemented | ||||||
| PRQA QA-C++ |
| 1510 | |||||||
| RuleChecker |
| type-compatibility | Partially checked |
Related Guidelines
Key here (explains table format and definitions)
Taxonomy | Taxonomy item | Relationship |
|---|---|---|
| ISO/IEC TS 17961 | Declaring the same function or object in incompatible ways [funcdecl] | Prior to 2018-01-12: CERT: Unspecified Relationship |
| MISRA C:2012 | Rule 8.4 (required) | Prior to 2018-01-12: CERT: Unspecified Relationship |
Bibliography
| [Hatton 1995] | Section 2.8.3 |
| [ISO/IEC 9899:2011] | 6.7.6.3, "Function Declarators (including Prototypes)" J.2, "Undefined Behavior" |
...