Page Information

Title:	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
Author:	Robert Seacord	Feb 06, 2007
Last Changed by:	Francesco Mariani	Aug 31, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/ItcxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (5)     Page: INT13-C. Use bitwise operators only on unsigned operands     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: INT30-C. Ensure that unsigned integer operations do not wrap     Page: INT35-C. Use correct integer precisions     Page: CC. Undefined Behavior

Parent Page     Page: Rule 04. Integers (INT)

• fortify
• compass/rose
• android-applicable
• ptc
• rose-complete
• rule
• int
• in-cpp

Time	Editor
Aug 31, 2025 04:27	Francesco Mariani	View Changes
May 05, 2025 08:34	Caden Milne	View Changes
REM Cost Reform
Mar 11, 2025 16:34	Caden Milne	View Changes
Identify undefined behavior
Dec 11, 2024 03:04	Swasti Shrivastava	View Changes
Nov 25, 2024 12:36	Caden Milne
Updated UB references from C11->C23

External Links (18)
    https://taas.trust-in-soft.com/tsnippet/t/9f127105
    https://cwe.mitre.org/data/index.html758.html
    cwe.mitre.org/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcruleint34…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/display/c/INT13-C.+Use+…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/INT35-C.+Use+…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://pvs-studio.com/en/docs/warnings/v610/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://wiki.sei.cmu.edu/confluence/display/c/INT32-C.+Ensu…
    https://cwe.mitre.org/data/index.html682.html
    https://wiki.sei.cmu.edu/confluence/display/c/SEI+CERT+C+Co…

SEI CERT C Coding Standard (41)     Page: Astrée_V     Page: LDRA     Page: INT35-C. Use correct integer precisions     Page: CodeSonar_V     Page: Axivion Bauhaus Suite     Page: Parasoft     Page: Astrée     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: Cppcheck_V     Page: RuleChecker     Page: ECLAIR_V     Page: Parasoft_V     Page: Klocwork_V     Page: Helix QAC_V     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: Helix QAC     Page: Coverity     Page: Axivion Bauhaus Suite_V     Page: ECLAIR     Page: Polyspace Bug Finder     Page: Coverity_V     Home page: SEI CERT C Coding Standard     Page: Rose     Page: RuleChecker_V     Page: INT30-C. Ensure that unsigned integer operations do not wrap     Page: Cppcheck Premium     Page: CC. Undefined Behavior     Page: PVS-Studio_V     Page: TrustInSoft Analyzer     Page: TrustInSoft Analyzer_V     Page: LDRA_V     Page: BB. Definitions     Page: Security Reviewer - Static Reviewer     Page: INT13-C. Use bitwise operators only on unsigned operands     Page: Cppcheck Premium_V     Page: Polyspace Bug Finder_V     Page: Klocwork     Page: AA. Bibliography     Page: CodeSonar     Page: Cppcheck     Page: Security Reviewer - Static Reviewer_V