Title: INT32-C. Ensure that operations on signed integers do not result in overflow  
Author: Robert C. Seacord Jun 08, 2006
Last Changed by: Lori Flynn Oct 18, 2018
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/UtYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rule 04. Integers (INT)
Outgoing Links
External Links (30)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/INT33-C.+Ensu…
    https://wiki.sei.cmu.edu/confluence/display/c/CON08-C.+Do+n…
    https://www.mathworks.com/help/bugfinder/ref/integeroverflo…
    https://wiki.sei.cmu.edu/confluence/display/c/INT02-C.+Unde…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    gcc.gnu.org/onlinedocs/gcc-4.5.2/gcc/Code-Gen-Options.html#…
    https://www.mathworks.com/help/bugfinder/ref/taintedmoduloo…
    https://cwe.mitre.org/data/index.html680.html
    gcc.gnu.org/onlinedocs/gcc-4.5.2/gcc/Code-Gen-Options.html#…
    https://wiki.sei.cmu.edu/confluence/display/c/MSC15-C.+Do+n…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    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…
    https://cwe.mitre.org/data/index.html
    https://cwe.mitre.org/data/index.html191.html
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/display/c/INT35-C.+Use+…
    https://wiki.sei.cmu.edu/confluence/display/c/ARR37-C.+Do+n…
    https://wiki.sei.cmu.edu/confluence/display/c/ARR36-C.+Do+n…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    cwe.mitre.org/
    cwe.mitre.org/data/definitions/190.html
    https://wiki.sei.cmu.edu/confluence/display/c/ARR30-C.+Do+n…
    https://wiki.sei.cmu.edu/confluence/display/c/INT34-C.+Do+n…
    https://www.mathworks.com/help/bugfinder/ref/tainteddivisio…
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…
    https://wiki.sei.cmu.edu/confluence/display/java/NUM00-J.+D…
SEI CERT C++ Coding Standard (2)     Page: PRQA QA-C++_V
    Page: PRQA QA-C++
SEI CERT C Coding Standard (26)     Page: Coverity
    Page: ARR36-C. Do not subtract or compare two pointers that do not refer to the same array
    Page: PRQA QA-C
    Home page: SEI CERT C Coding Standard
    Page: AA. Bibliography
    Page: ARR37-C. Do not add or subtract an integer to a pointer to a non-array object
    Page: Astrée
    Page: Coverity_V
    Page: Parasoft
    Page: INT35-C. Use correct integer precisions
    Page: INT30-C. Ensure that unsigned integer operations do not wrap
    Page: Polyspace Bug Finder_V
    Page: Parasoft_V
    Page: CodeSonar
    Page: Polyspace Bug Finder
    Page: LDRA_V
    Page: INT33-C. Ensure that division and remainder operations do not result in divide-by-zero errors
    Page: Astrée_V
    Page: PRQA QA-C_v
    Page: LDRA
    Page: MSC15-C. Do not depend on undefined behavior
    Page: INT34-C. Do not shift an expression by a negative number of bits or by greater than or equal to the number of bits that exist in the operand
    Page: CodeSonar_V
    Page: BB. Definitions
    Page: ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
    Page: INT02-C. Understand integer conversion rules