...
Tool | Version | Checker | Description | ||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||||
| CodeSonar |
| LANG.ID.ND.NEST | Non-distinct identifiers: nested scope | ||||||||
| Compass/ROSE | |||||||||||
| CC2.DCL01 | Fully implemented | |||||||||
| Klocwork |
| ||||||||||
| LDRA tool suite |
| 131 S | Fully implemented | ||||||||
| Parasoft C/C++test |
| CERT_C-DCL01-a | Identifier declared in a local or function prototype scope shall not hide an identifier declared in a global or namespace scope | ||||||||
| Polyspace Bug Finder |
| Variable hides another variable of same name with nested scope An identifier declared in an inner scope shall not hide an identifier declared in an outer scope | |||||||||
| PRQA QA-C |
| 2547 | Fully implemented | ||||||||
| PVS-Studio |
| V561, V688, V703, V711 | |||||||||
| Splint |
|
...