Software `Software vulnerabilities can result when a programmer fails to consider all possible data states.
...
| Tool | Version | Checker | Description | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Parasoft Jtest |
| CERT.MSC57.PDCL CERT.MSC57.PDS | Place "default" as the last case of the "switch" statement Provide "default:" for each "switch" statement | |||||||||||
| PVS-Studio |
| V6002, V6003, V6007, V6018, V6031, V6037, V6057, V6077 | PVS-Studio | | Include Page | | PVS-Studio_V | PVS-Studio_V | V6001
Related Guidelines
...