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:	Jill Britton	Apr 20, 2023
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/ftYxBQ
Export As:	Word · PDF

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

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

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
Apr 20, 2023 05:14	Jill Britton	View Changes
Jan 18, 2023 11:25	Jill Britton	View Changes
Oct 03, 2022 10:13	Jill Britton	View Changes
Oct 03, 2022 06:22	Jill Britton	View Changes
Apr 27, 2022 07:45	Jill Britton

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 (28)     Page: Astrée     Page: Axivion Bauhaus Suite_V     Page: Klocwork     Page: CodeSonar_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: LDRA     Page: Coverity_V     Page: BB. Definitions     Page: CC. Undefined Behavior     Page: PVS-Studio_V     Page: TrustInSoft Analyzer     Page: Coverity     Page: Parasoft_V     Home page: SEI CERT C Coding Standard     Page: Astrée_V     Page: Helix QAC     Page: Rose     Page: Polyspace Bug Finder