Title: MSC37-C. Ensure that control never reaches the end of a non-void function  
Author: Ricky Zhou Feb 23, 2010
Last Changed by: Jill Britton Apr 20, 2023
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/m9YxBQ
Export As: Word · PDF  
Incoming Links
SEI CERT C Coding Standard (1)
    Page: CC. Undefined Behavior
Hierarchy
Parent Page
    Page: Rule 48. Miscellaneous (MSC)
Outgoing Links
External Links (12)
    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/display/c/SEI+CERT+C+Co…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    cwe.mitre.org/
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/display/c/MSC01-C.+Stri…
    https://www.mathworks.com/help/bugfinder/ref/certcrulemsc37…
    https://cwe.mitre.org/data/index.html758.html
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
SEI CERT C Coding Standard (30)     Page: CC. Undefined Behavior
    Page: LDRA
    Page: Coverity_V
    Home page: SEI CERT C Coding Standard
    Page: Axivion Bauhaus Suite_V
    Page: Klocwork
    Page: RuleChecker_V
    Page: Klocwork_V
    Page: MSC00-C. Compile cleanly at high warning levels
    Page: Axivion Bauhaus Suite
    Page: ERR00-C. Adopt and implement a consistent and comprehensive error-handling policy
    Page: Polyspace Bug Finder_V
    Page: RuleChecker
    Page: Astrée_V
    Page: PC-lint Plus_V
    Page: Helix QAC
    Page: TrustInSoft Analyzer_V
    Page: BB. Definitions
    Page: LDRA_V
    Page: Helix QAC_V
    Page: AA. Bibliography
    Page: CodeSonar
    Page: Parasoft_V
    Page: Polyspace Bug Finder
    Page: PC-lint Plus
    Page: TrustInSoft Analyzer
    Page: Coverity
    Page: Astrée
    Page: Parasoft
    Page: CodeSonar_V