Page History

int-division-by-zero

int-modulo-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.)

DIVIDE_BY_ZERO

Context sensitive analysis of division by zero
Not detected for division by struct member / array element / pointer data that is 0
Detected when there is unsafe division by variable before/after test if variable is zero

C: 2830, 2831, 2832, 2833

C++: 2831, 2832, 2833

43 D, 127 D, 248 S, 629 S, 80 X

CERT_C-INT33-a

CERT C: Rule INT33-C

Checks for:

• Integer division by zero
• Tainted division operand
• Tainted modulo operand

Rule fully covered.

2830 [C], 2831 [D], 2832 [A]

2833 [S]

Exhaustively verified (see one compliant and one non-compliant example).