...
Tool | Version | Checker | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported indirectly via MISRA C:2012 Rules 5.1, 5.2, 5.3, 5.4 and 5.5. | |||||||||||
Axivion Bauhaus Suite |
| CertC-DCL23 | |||||||||||
CodeSonar |
| LANG.ID.ND.EXT LANG.ID.NU.EXT LANG.STRUCT.DECL.MGT | Non-distinct identifiers: external names Non-unique identifiers: external name Global variable declared with different types | ||||||||||
Compass/ROSE | Can detect some violations of this rule but cannot flag violations involving universal names | ||||||||||||
Helix QAC |
| C0627, C0776, C0777, C0778, C0779, C0789, C0791, C0793 | |||||||||||
Klocwork |
| MISRA.IDENT.DISTINCT.C99.2012 | |||||||||||
LDRA tool suite |
| 17 D | Fully implemented | ||||||||||
PC-lint Plus |
| 621 | Fully supported | ||||||||||
Polyspace Bug Finder |
| Checks for:
Rec. fully covered. | PRQA QA-C | ||||||||||
Include Page | PRQA QA-C_v | PRQA QA-C_v | |||||||||||
0627, 0776, 0777, 0778, 0779, 0789, 0791, 0793 | Partially implemented | RuleChecker |
| Supported indirectly via MISRA C:2012 Rules 5.1, 5.2, 5.3, 5.4 and 5.5. | |||||||||
SonarQube C/C++ Plugin |
| IdentifierLongerThan31 |
...