Page Information

Title:	MSC15-C. Do not depend on undefined behavior
Author:	Robert Seacord (Manager)	Apr 20, 2008
Last Changed by:	David Svoboda	May 20, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/stUxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (3)     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: CC. Undefined Behavior     Page: INT08-C. Verify that all integer values are in range

Parent Page     Page: Rec. 48. Miscellaneous (MSC)

• sample
• android-applicable
• unenforceable
• recommendation
• msc

Time	Editor
May 20, 2025 09:25	David Svoboda	View Changes
REM Cost Reform
Jan 19, 2025 17:56	Michal Rozenau	View Changes
Parasoft C/C++test 2024.2
Nov 25, 2024 09:20	Caden Milne	View Changes
Updated references from C11->C23
Apr 20, 2023 05:46	Jill Britton	View Changes
Jan 18, 2023 12:19	Jill Britton

External Links (8)
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcrec.msc15…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://pvs-studio.com/en/docs/warnings/v772/

SEI CERT C Coding Standard (15)     Page: Parasoft     Page: Helix QAC_V     Page: PVS-Studio_V     Page: CC. Undefined Behavior     Page: Astrée     Page: INT32-C. Ensure that operations on signed integers do not result in overflow     Page: Polyspace Bug Finder_V     Page: AA. Bibliography     Page: Parasoft_V     Page: BB. Definitions     Page: LDRA_V     Page: Astrée_V     Page: LDRA     Page: Helix QAC     Home page: SEI CERT C Coding Standard

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID MSC15-CPP. Do not depend on undefined behavior