SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: MSC40-C. Do not violate constraints  
Author: David Svoboda Nov 15, 2013
Last Changed by: David Svoboda May 05, 2025
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/TtUxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rule 48. Miscellaneous (MSC)
Labels
Global Labels (11)
Recent Changes
Time Editor  
May 05, 2025 09:45 Swasti Shrivastava View Changes
REM Cost Reform
Dec 12, 2024 01:54 Swasti Shrivastava View Changes
Oct 14, 2024 11:05 Swasti Shrivastava View Changes
Apr 20, 2023 05:38 Jill Britton View Changes
Oct 03, 2022 09:43 Jill Britton  
Outgoing Links
External Links (6)
    https://www.mathworks.com/help/bugfinder/ref/certcrulemsc40…
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    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/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
SEI CERT C Coding Standard (19)     Page: Astrée
    Page: RuleChecker_V
    Page: Klocwork
    Page: LDRA
    Page: LDRA_V
    Page: Parasoft
    Page: Parasoft_V
    Page: INT30-C. Ensure that unsigned integer operations do not wrap
    Page: AA. Bibliography
    Page: Cppcheck Premium
    Page: Polyspace Bug Finder_V
    Page: Helix QAC_V
    Page: Cppcheck Premium_V
    Page: BB. Definitions
    Page: Klocwork_V
    Home page: SEI CERT C Coding Standard
    Page: Astrée_V
    Page: Helix QAC
    Page: RuleChecker