Division and remainder operations performed on integers are susceptible to divide-by-zero errors. Consequently, the divisor in a division or remainder operation on integer types must be checked for zero prior to the operation. Division and remainder operations performed on floating-point numbers are not subject to this rule.
Noncompliant Code Example (Division)
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity | 7.5 | DIVIDE_BY_ZERO | Implemented | ||||||
| Parasoft Jtest |
| BDCERT.PBNUM02.ZERO | Avoid division by zero | ||||||
| PVS-Studio |
| V6020 | |||||||
| SonarQube |
| S3518 | Zero should not be a possible denominator |
...