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

zerodiv
zerodivcond

premium-cert-int33-c

C2830

C++2830

DF2831, DF2832, DF2833

DBZ.CONST
DBZ.CONST.CALL
DBZ.GENERAL
DBZ.ITERATOR
DBZ.ITERATOR.CALL

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.

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