Page Information

Title:	MSC15-C. Do not depend on undefined behavior
Author:	Robert Seacord (Manager)	Apr 20, 2008
Last Changed by:	Jill Britton	Apr 20, 2023
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
Apr 20, 2023 05:46	Jill Britton	View Changes
Jan 18, 2023 12:19	Jill Britton	View Changes
Jun 24, 2021 10:29	Svyatoslav Razmyslov	View Changes
Apr 26, 2021 04:34	Jill Britton	View Changes
Apr 21, 2021 05:38	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