...
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. (see See guideline "NUM00-J. Detect or prevent integer overflow".).
Noncompliant Code Example
...
| Code Block | ||
|---|---|---|
| ||
signed long sl1, sl2, result;
/* Initialize sl1 and sl2 */
if ( (sl2 == 0 ) ) {
/* handle error condition */
}
else {
result = sl1 % sl2;
}
|
Risk Assessment
A divide-by-zero can result in abnormal program termination and denial of service.
...
This rule appears in the C Secure Coding Standard as INT33-C. Ensure that division and modulo operations do not result in divide-by-zero errors.
CERT C++ Secure Coding Standard: INT33-CPP. Ensure that division and modulo operations do not result in divide-by-zero errors
Bibliography
<ac:structured-macro ac:name="unmigrated-wiki-markup |
...
" ac:schema-version="1" ac:macro-id="56c7206a-c4b7-4b97-a8a9-eb773afb03a3"><ac:plain-text-body><![CDATA[ | [[ISO/IEC |
...
9899:1999 |
...
AA. |
...
Bibliography#ISO/IEC |
...
9899-1999] |
...
] |
...
Section |
...
6.5.5, |
...
"Multiplicative |
...
operators" | ]]></ac:plain-text-body></ac:structured-macro> | |||
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="08d16d56-936e-4a35-96b4-0198db502ab0"><ac:plain-text-body><![CDATA[ | [[MITRE 07 | AA. Bibliography#MITRE 07]] | [CWE ID 369 | http://cwe.mitre.org/data/definitions/369.html], |
...
"Divide |
...
By |
...
Zero" | ]]></ac:plain-text-body></ac:structured-macro> | |||
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="a8e68029-0ade-4a0b-80a5-84e72829e9cd"><ac:plain-text-body><![CDATA[ | [[Seacord 05 | AA. Bibliography#Seacord 05]] | Chapter 5, "Integers" | ]]></ac:plain-text-body></ac:structured-macro> |
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="b1aae349-1756-40c5-9267-2ca5a4716ca2"><ac:plain-text-body><![CDATA[ | [[Warren 02 | AA. Bibliography#Warren 02]] | Chapter 2, "Basics" | ]]></ac:plain-text-body></ac:structured-macro> |
...
NUM18-J. Be aware of numeric promotion behavior 03. Numeric Types and Operations (NUM) 04. Object Orientation (OBJ)