Title: INT30-C. Ensure that unsigned integer operations do not wrap  
Author: Robert Seacord (Manager) Apr 24, 2008
Last Changed by: Anirban Gangopadhyay Aug 30, 2019
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/bNYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rule 04. Integers (INT)
Outgoing Links
External Links (27)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/INT02-C.+Unde…
    https://support.roguewave.com/documentation/klocwork/en/cur…
    https://cwe.mitre.org/data/index.html131.html
    https://cwe.mitre.org/data/index.html680.html
    https://wiki.sei.cmu.edu/confluence/display/c/ARR36-C.+Do+n…
    https://wiki.sei.cmu.edu/confluence/display/c/ARR30-C.+Do+n…
    https://www.mathworks.com/help/bugfinder/ref/certcruleint30…
    web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2009-1385
    https://www.viva64.com/en/w/v658/
    https://cwe.mitre.org/data/index.html
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/display/c/CON08-C.+Do+n…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    xorl.wordpress.com/2009/06/10/cve-2009-1385-linux-kernel-e1…
    https://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-4…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    blog.securitymouse.com/2014/06/raising-lazarus-20-year-old-…
    https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Co…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    blog.binamuse.com/2014/09/coregraphics-memory-corruption.ht…
    cwe.mitre.org/data/definitions/190.html
    cwe.mitre.org/
    https://wiki.sei.cmu.edu/confluence/display/c/ARR37-C.+Do+n…
    https://cwe.mitre.org/data/index.html191.html
SEI CERT C Coding Standard (28)     Page: AA. Bibliography
    Page: ARR37-C. Do not add or subtract an integer to a pointer to a non-array object
    Page: PRQA QA-C
    Page: ARR36-C. Do not subtract or compare two pointers that do not refer to the same array
    Page: TrustInSoft Analyzer_V
    Page: TrustInSoft Analyzer
    Page: INT02-C. Understand integer conversion rules
    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: Coverity
    Page: Rose
    Page: Coverity_V
    Page: Parasoft
    Page: CodeSonar_V
    Page: Klocwork
    Page: LDRA
    Page: BB. Definitions
    Page: ARR30-C. Do not form or use out-of-bounds pointers or array subscripts
    Page: CodeSonar
    Page: Polyspace Bug Finder
    Page: Parasoft_V
    Page: PRQA QA-C_v
    Page: Polyspace Bug Finder_V
    Page: LDRA_V
    Page: Astrée
    Home page: SEI CERT C Coding Standard
    Page: PVS-Studio_V
    Page: Klocwork_V
    Page: Astrée_V
SEI CERT C++ Coding Standard (2)     Page: PRQA QA-C++
    Page: PRQA QA-C++_V