...
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 |
| MISRA2004-5_2_{a,b} | Fully implemented | |||||||||
| Polyspace Bug Finder | R2016a | Variable shadowing | Variable hides another variable of same name with nested scope | |||||||||
| PRQA QA-C |
| 2547 | Fully implemented | |||||||||
| Splint | | Include Page | | Splint_V | Splint_V | PVS-Studio6.22 | V561, V688, V703, V711 | ||||||
| Splint |
| General analysis rule set
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...