...
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 |
| Checks for declaration mismatch (rule fully covered) | |||||||
| 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. |
...