...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| future-library-use language-override language-override-c99 reserved-declaration reserved-declaration-c99 reserved-identifier | Partially checked | ||||||
| Axivion Bauhaus Suite |
| CertC-DCL37 | Fully implemented. Reserved identifiers, as in DCL37-C-EX3, are configurable. | ||||||
| CodeSonar |
| LANG.STRUCT.DECL.RESERVED | Declaration of reserved name | ||||||
| Compass/ROSE | |||||||||
| Coverity |
| MISRA C 2004 Rule 20.1 MISRA C 2004 Rule 20.2 MISRA C 2012 Rule 21.1 MISRA C 2012 Rule 21.2 | Implemented | ||||||
| Cppcheck Premium |
| premium-cert-dcl37-c | |||||||
| ECLAIR |
| CC2.DCL37 | Fully implemented | ||||||
| Helix QAC |
| C0602, C0603, C4600, C4601, C4602, C4603, C4604, C4605, C4606, C4607, C4608, C4620, C4621, C4622, C4623, C4624, C4640, C4641, C4642, C4643, C4644, C4645 | Fully implemented | ||||||
| Klocwork |
| MISRA.DEFINE.WRONGNAME.UNDERSCORE MISRA.STDLIB.WRONGNAME.UNDERSCORE MISRA.STDLIB.WRONGNAME | Fully implemented | ||||||
| LDRA tool suite |
| 86 S, 218 S, 219 S, 580 S, 626 S | Fully Implemented | ||||||
| Parasoft C/C++test |
| CERT_C-DCL37-ab | Identifiers that begin with an underscore and either an uppercase letter or another underscore should not be declared Avoid declaring file-scoped objects whose names begin with an underscore The names of standard library macros should not be reused (C11 code) The names of standard library identifiers with file scope should not be reused (C11 code) The standard library identifiers with external linkage should not be reused (C11 code) Macros that begin with an underscore and either an uppercase letter or another underscore should not be definedDo not #define or #undef identifiers with names which start with underscore | ||||||
| PC-lint Plus |
| 978, 9071, 9093 | Partially supported | ||||||
| Polyspace Bug Finder |
| Checks for:
Rule partially covered | |||||||
| PVS-Studio |
| V677 | |||||||
| SonarQube C/C++ Plugin |
| S978 | |||||||
| RuleChecker |
| future-library-use language-override language-override-c99 reserved-declaration reserved-declaration-c99 reserved-identifier | Partially checked |
...