...
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 C/C++test |
| CODSTA-118, MISRA2004-8_4 | Implemented | ||||||||
| Parasoft Insure++ |
| runtime | |||||||||
| Polyspace Bug Finder |
| 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 A compatible declaration shall be visible when an object or function with external linkage is defined | |||||||||
| PRQA QA-C |
| 1510,776,778,779,789 | Fully implemented | ||||||||
| PRQA QA-C++ |
| 1510 | |||||||||
| RuleChecker |
| type-compatibility | Partially checked |
...