...
Tool | Version | Checker | Description | SonarQube||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Parasoft Jtest |
| SonarQube
| SonarQube
| S1854CERT.MSC56.CC CERT.MSC56.SWITCH CERT.MSC56.VOVR | Avoid conditions that always evaluate to the same value Avoid switch with unreachable branches Avoid unused values | ||||||||||
PVS-Studio |
| V6005, V6021, V6022, V6026, V6039 | |||||||||||||
SonarQube |
| S1854 |
Bibliography
[Coverity 2007] | Coverity Prevent User's Manual (3.3.0) |
[Fortify 2013] | Code Quality, "Dead Code" |
...