SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: DCL03-C. Use a static assertion to test the value of a constant expression  
Author: Robert Seacord Jan 24, 2008
Last Changed by: Francesco Mariani Jul 02, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/2tUxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT C Coding Standard (7)
    Page: PRE05-C. Understand macro replacement when concatenating tokens or performing stringification
    Page: ERR06-C. Understand the termination behavior of assert() and abort()
    Page: INT00-C. Understand the data model used by your implementation(s)
    Page: DCL39-C. Avoid information leakage when passing a structure across a trust boundary
    Page: INT35-C. Use correct integer precisions
    Page: POS49-C. When data must be accessed by multiple threads, provide a mutex and guarantee no adjacent data is also accessed
    Page: INT31-C. Ensure that integer conversions do not result in lost or misinterpreted data
Hierarchy
Parent Page
    Page: Rec. 02. Declarations and Initialization (DCL)
Labels
Global Labels (5)
Recent Changes
Time Editor  
Jul 02, 2025 08:02 Francesco Mariani View Changes
May 19, 2025 16:25 Jill Britton View Changes
REM Cost Reform
Dec 11, 2018 12:16 Jill Britton View Changes
Dec 11, 2018 10:19 Jill Britton View Changes
Oct 02, 2018 08:34 Aleksandr Karbyshev  
Added Axivion Bauhaus entry to Automated Detection table
Outgoing Links
External Links (5)
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://www.securecoding.cert.org/confluence/pages/viewpage…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    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 (1)     Page: VOID DCL03-CPP. Use a static assertion to test the value of a constant expression
SEI CERT C Coding Standard (18)     Page: AA. Bibliography
    Page: LDRA
    Page: Axivion Bauhaus Suite_V
    Page: Rose
    Page: BB. Definitions
    Page: ECLAIR_V
    Page: LDRA_V
    Page: CodeSonar
    Page: ECLAIR
    Page: Clang_V
    Page: VOID STR07-C. Use the bounds-checking interfaces for string manipulation
    Page: FIO34-C. Distinguish between characters read from a file and EOF or WEOF
    Page: Clang
    Page: Axivion Bauhaus Suite
    Page: MSC11-C. Incorporate diagnostic tests using assertions
    Page: Security Reviewer - Static Reviewer
    Home page: SEI CERT C Coding Standard
    Page: CodeSonar_V