SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: EXP11-C. Do not make assumptions regarding the layout of structures with bit-fields  
Author: Robert Seacord Oct 30, 2007
Last Changed by: David Svoboda May 20, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/4NYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rec. 03. Expressions (EXP)
Labels
Global Labels (5)
Recent Changes
Time Editor  
May 20, 2025 07:10 David Svoboda View Changes
REM Cost Reform
Mar 04, 2025 16:29 Anirban Gangopadhyay View Changes
Jul 26, 2023 11:12 Anirban Gangopadhyay View Changes
Removed the row for Polyspace Bug Finder support.
Apr 20, 2023 06:02 Jill Britton View Changes
Apr 23, 2021 12:13 Jill Britton  
Outgoing Links
External Links (6)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.exp11…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
SEI CERT C Coding Standard (11)     Page: LDRA_V
    Page: BB. Definitions
    Page: Rose
    Page: Astrée
    Page: Astrée_V
    Home page: SEI CERT C Coding Standard
    Page: Helix QAC
    Page: AA. Bibliography
    Page: Polyspace Bug Finder_V
    Page: Helix QAC_V
    Page: LDRA
SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard
    Page: VOID EXP11-CPP. Do not apply operators expecting one type to data of an incompatible type