Page Information

Title:	MSC11-C. Incorporate diagnostic tests using assertions
Author:	Robert Seacord	Dec 20, 2007
Last Changed by:	Michal Rozenau	Aug 06, 2018
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/2tYxBQ
Export As:	Word · PDF

SEI CERT C Coding Standard (4)     Page: FLP36-C. Preserve precision when converting integral values to floating-point type     Page: DCL03-C. Use a static assertion to test the value of a constant expression     Page: PRE31-C. Avoid side effects in arguments to unsafe macros     Page: ERR06-C. Understand the termination behavior of assert() and abort()

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

• coverity
• error-handling
• android-applicable
• unenforceable
• recommendation
• msc

Time	Editor
Aug 06, 2018 07:08	Michal Rozenau	View Changes
Parasoft C/C++test 10.4
Feb 12, 2018 21:54	Will Snavely	View Changes
Nov 16, 2017 14:41	Will Snavely	View Changes
Jan 05, 2017 14:22	Will Snavely	View Changes
Oct 27, 2015 14:06	Arthur Hicken
added parasoft

External Links (7)
    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…
    https://www.securecoding.cert.org/confluence/display/seccod…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/
    cwe.mitre.org/data/definitions/190.html

SEI CERT C++ Coding Standard (2)     Home page: SEI CERT C++ Coding Standard     Page: VOID MSC11-CPP. Incorporate diagnostic tests using assertions

SEI CERT C Coding Standard (11)     Page: void MEM32-C. Detect and handle memory allocation errors     Page: MEM11-C. Do not assume infinite heap space     Home page: SEI CERT C Coding Standard     Page: CodeSonar     Page: CodeSonar_V     Page: Coverity     Page: Coverity_V     Page: Parasoft     Page: ERR00-C. Adopt and implement a consistent and comprehensive error-handling policy     Page: Parasoft_V     Page: BB. Definitions