Title: INT13-C. Use bitwise operators only on unsigned operands  
Author: Robert Seacord Feb 28, 2007
Last Changed by: Jill Britton Apr 20, 2023
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/9tYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rec. 04. Integers (INT)
Outgoing Links
External Links (10)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/data/definitions/682.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    cwe.mitre.org/
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://www.securecoding.cert.org/confluence/display/c/AA.+…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.int13…
SEI CERT C Coding Standard (29)     Page: PC-lint Plus_V
    Page: Helix QAC
    Page: CodeSonar
    Page: LDRA_V
    Page: STR07-C. Use the bounds-checking interfaces for string manipulation
    Page: BB. Definitions
    Page: Splint_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: Astrée
    Page: Klocwork_V
    Page: Parasoft_V
    Page: ECLAIR_V
    Page: Helix QAC_V
    Page: PC-lint Plus
    Page: RuleChecker_V
    Page: Splint
    Page: CodeSonar_V
    Home page: SEI CERT C Coding Standard
    Page: Astrée_V
    Page: Rose
    Page: Parasoft
    Page: Klocwork
    Page: RuleChecker
    Page: Axivion Bauhaus Suite
    Page: Axivion Bauhaus Suite_V
    Page: ECLAIR
    Page: AA. Bibliography
    Page: LDRA
    Page: Polyspace Bug Finder_V
SEI CERT C++ Coding Standard (2)     Page: VOID INT13-CPP. Use bitwise operators only on unsigned operands
    Home page: SEI CERT C++ Coding Standard