Page Information

Title:	INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors
Author:	Admin	Jul 18, 2006
Last Changed by:	Francesco Mariani	Aug 29, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/ftYxBQ
Export As:	Word · PDF

SEI CERT Oracle Coding Standard for Java (1)     Page: NUM02-J. Ensure that division and remainder operations do not result in divide-by-zero errors

SEI CERT C Coding Standard (3)     Page: SIG35-C. Do not return from a computational exception signal handler     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: CC. Undefined Behavior

Parent Page     Page: Rule 04. Integers (INT)

• fortify
• compass/rose
• android-applicable
• ptc
• rose-partial
• rule
• floating-point
• cwe-369
• int
• in-cpp

Time	Editor
Aug 29, 2025 14:48	Francesco Mariani	View Changes
May 05, 2025 08:34	Swasti Shrivastava	View Changes
REM Cost Reform
Dec 11, 2024 03:04	Swasti Shrivastava	View Changes
Nov 25, 2024 12:35	Caden Milne	View Changes
Updated UB references from C11->C23
Oct 12, 2024 11:11	Swasti Shrivastava

External Links (19)
    https://cwe.mitre.org/data/index.html
    https://wiki.sei.cmu.edu/confluence/display/c/INT32-C.+Ensu…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcruleint33…
    https://taas.trust-in-soft.com/tsnippet/t/c37797b7
    https://wiki.sei.cmu.edu/confluence/display/java/NUM02-J.+E…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://pvs-studio.com/en/docs/warnings/v609/
    cwe.mitre.org/data/definitions/369.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Co…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…

SEI CERT C Coding Standard (32)     Page: Astrée     Page: Axivion Bauhaus Suite_V     Page: Klocwork     Page: CodeSonar_V     Page: Cppcheck Premium_V     Page: Parasoft     Page: Helix QAC_V     Page: Klocwork_V     Page: Cppcheck_V     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: Polyspace Bug Finder_V     Page: TrustInSoft Analyzer_V     Page: LDRA_V     Page: AA. Bibliography     Page: CodeSonar     Page: Cppcheck     Page: Security Reviewer - Static Reviewer_V     Page: LDRA     Page: Coverity_V     Page: BB. Definitions     Page: CC. Undefined Behavior     Page: Security Reviewer - Static Reviewer     Page: PVS-Studio_V     Page: TrustInSoft Analyzer     Page: Coverity     Page: Parasoft_V     Page: Cppcheck Premium     Home page: SEI CERT C Coding Standard     Page: Astrée_V     Page: Helix QAC     Page: Rose     Page: Polyspace Bug Finder