...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Parasoft Jtest |
| CERT.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 |
...