Page Information

Title:	INT12-C. Do not make assumptions about the type of a plain int bit-field when used in an expression
Author:	Robert C. Seacord	Jun 08, 2006
Last Changed by:	David Svoboda	May 20, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/VNYxBQ
Export As:	Word · PDF

Parent Page     Page: Rec. 04. Integers (INT)

• compass/rose
• android-applicable
• rose-complete
• portability
• recommendation
• int

Time	Editor
May 20, 2025 07:21	Jill Britton	View Changes
REM Cost Reform
Apr 20, 2023 06:13	Jill Britton	View Changes
Apr 27, 2022 08:41	Jill Britton	View Changes
Apr 23, 2021 12:28	Jill Britton	View Changes
Apr 21, 2021 05:19	Jill Britton

External Links (7)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.int12…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID INT12-CPP. Do not make assumptions about the type of a plain int bit-field when used in an expression

SEI CERT C Coding Standard (26)     Page: Astrée     Page: Klocwork     Page: Parasoft     Page: RuleChecker     Page: CodeSonar_V     Page: PC-lint Plus_V     Page: Helix QAC     Home page: SEI CERT C Coding Standard     Page: Axivion Bauhaus Suite_V     Page: LDRA_V     Page: ECLAIR     Page: CodeSonar     Page: Polyspace Bug Finder_V     Page: AA. Bibliography     Page: LDRA     Page: PC-lint Plus     Page: Axivion Bauhaus Suite     Page: Rose     Page: Astrée_V     Page: INT07-C. Use only explicitly signed or unsigned char type for numeric values     Page: BB. Definitions     Page: Helix QAC_V     Page: Klocwork_V     Page: Parasoft_V     Page: RuleChecker_V     Page: ECLAIR_V