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: Dario Necco Nov 29, 2019
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/ftYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rule 04. Integers (INT)
Outgoing Links
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://support.roguewave.com/documentation/klocwork/en/cur…
    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…
    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://www.viva64.com/en/w/v609/
SEI CERT C Coding Standard (27)     Page: Astrée
    Page: Klocwork
    Page: CodeSonar_V
    Page: Parasoft
    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: PRQA QA-C
    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
    Page: PRQA QA-C_v
    Home page: SEI CERT C Coding Standard
    Page: Astrée_V
    Page: Rose
    Page: Polyspace Bug Finder
SEI CERT C++ Coding Standard (2)     Page: PRQA QA-C++_V
    Page: PRQA QA-C++