...
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 qualifiersA 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 |
...