SEI CERT C Coding Standard

Space shortcuts

Page tree

Title: ERR06-C. Understand the termination behavior of assert() and abort()  
Author: Alex Volkovitsky May 19, 2008
Last Changed by: Joerg Herter Oct 18, 2024
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/qNYxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT C Coding Standard (1)
    Page: ERR04-C. Choose an appropriate termination strategy
Hierarchy
Parent Page
    Page: Rec. 12. Error Handling (ERR)
Labels
Global Labels (4)
Recent Changes
Time Editor  
Oct 18, 2024 04:24 Joerg Herter View Changes
Oct 14, 2024 02:33 Valery View Changes
Aug 08, 2024 09:44 Valery View Changes
Aug 08, 2024 09:37 Valery View Changes
Feb 28, 2021 15:40 Kris Kafka  
Added PC-lint Plus to Automated Detection Table
Outgoing Links
External Links (6)
    https://pvs-studio.com/en/docs/warnings/v2021/
    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…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
SEI CERT C++ Coding Standard (2)     Page: VOID ERR06-CPP. Understand the termination behavior of assert() and abort()
    Home page: SEI CERT C++ Coding Standard
SEI CERT C Coding Standard (19)     Page: AA. Bibliography
    Page: PC-lint Plus_V
    Page: PC-lint Plus
    Page: ERR00-C. Adopt and implement a consistent and comprehensive error-handling policy
    Page: PVS-Studio_V
    Page: Parasoft_V
    Page: RuleChecker
    Page: BB. Definitions
    Home page: SEI CERT C Coding Standard
    Page: LDRA
    Page: Astrée_V
    Page: RuleChecker_V
    Page: DCL03-C. Use a static assertion to test the value of a constant expression
    Page: Astrée
    Page: Parasoft
    Page: LDRA_V
    Page: ERR04-C. Choose an appropriate termination strategy
    Page: MSC11-C. Incorporate diagnostic tests using assertions
    Page: Rose