...
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 (negative) value for the signed integer type and the divisor is equal to ������������������‚�š�š�š�š�š�š�š�š������������������€š�š�š�š�š�š�š�š�?1—1. See rule NUM00-J. Detect or prevent integer overflow for more information. This noncompliant code example can result in a divide-by-zero error during the division of the signed operands num1 and num2.
...
Automated detection exists for C and C++ but not for Java yet.
Related Guidelines
...