...
Division
The result of the / operator is the quotient from the division of the first arithmetic operand by the second arithmetic operand. Division operations are susceptible to divide-by-zero errors. Overflow can also occur during two's complement signed integer division when the dividend is equal to the minimum (most negative) value for the signed integer type and the divisor is equal to −1 (see INT32-C. Ensure that operations on signed integers do not result in overflow).
...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| LANG.ARITH.DIVZERO | Division by zero | ||||||
Can detect some violations of this rule . (In particular, it ensures that all operations involving division or modulo are preceded by a check ensuring that the second operand is nonzero.) | |||||||||
| Coverity | 6.5 | DIVIDE_BY_ZERO | Fully implemented | ||||||
| Fortify SCA | 5.0 | Can detect violations of this rule with CERT C Rule Pack | |||||||
| 43 D, 248 S, 629 S, 80 X | Partially implemented | |||||||
| Parasoft C/C++test | 9.5 | BD-PB-ZERO | Fully implemented | ||||||
| Parasoft Insure++ | Runtime detection | ||||||||
| PRQA QA-C |
| 2830 (C) | Fully implemented | ||||||
| Cppcheck |
| zerodiv zerodivcond | Context sensitive analysis of division by zero |
...