Page History

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

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

Can detect violations of this rule with CERT C Rule Pack

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

Integer division by zero, Tainted division operand, Tainted modulo operand

Dividing integer number by zero

2830 (C)
2831 (D)
2832 (A)
2833 (S)
2834 (P)