...
Tool | Version | Checker | Description |
|---|---|---|---|
| Coverity | 7.5 | DIVIDE_BY_ZERO | Implemented |
| Parasoft Jtest | 9.5 | BD.PB.ZERO | |
| SonarQube Java Plugin | 3.10 | S3518 | Implemented |
Related Guidelines
INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors | |
CWE-369, Divide by Zero |
...