...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker | |||||||
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 | ||||||||
Klocwork |
| MISRA.IDENT.DISTINCT.C99.2012 | |||||||
LDRA tool suite |
| 17 D | Fully implemented | ||||||
Polyspace Bug Finder |
| External identifiers shall be distinct Identifiers declared in the same scope and name space shall be distinct An identifier declared in an inner scope shall not hide an identifier declared in an outer scope Macro identifiers shall be distinct Identifiers shall be distinct from macro names | |||||||
PRQA QA-C |
| 627, 776, 0777, 778, 0779 | Partially implemented | ||||||
SonarQube C/C++ Plugin |
| IdentifierLongerThan31 |
...