Page History

The C Standard identifies the following condition under which division and remainder operations result in undefined behavior (UB):

UB	Description
45 41	The value of the second operand of the `/` or `%` operator is zero (6.5.5).

...

A divide-by-zero error can result in abnormal program termination and denial of service.

Rule	Severity	Likelihood	Detectable	RepairableRemediation Cost	Priority	Level
INT33-C	Low	Likely	No	YesMedium	P6	L2

Automated Detection

BDPBZEROFully implemented detection

Tool

Version

Checker

Description

Astrée

Include Page

	Astrée_V
	Astrée_V

int-division-by-zero

int-modulo-by-zero

Fully checked

Axivion Bauhaus Suite

Include Page

	Axivion Bauhaus Suite_V
	Axivion Bauhaus Suite_V

CertC-INT33

CodeSonar

Include Page

	CodeSonar_V
	CodeSonar_V

LANG.ARITH.DIVZERO
LANG.ARITH.FDIVZERO

Division by zero
Float Division By Zero

Compass/ROSE

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

Coverity

Include Page

	Coverity_V
	Coverity_V

DIVIDE_BY_ZERO

Fully implemented

Cppcheck

Include Page

	Cppcheck_V
	Cppcheck_V

zerodiv
zerodivcond

Cppcheck Premium

Include Page

	Cppcheck Premium_V
	Cppcheck Premium_V

zerodiv
zerodivcondContext 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

premium-cert-int33-c

Helix QAC

Include Page