Title: EXP30-C. Do not depend on the order of evaluation for side effects  
Author: Robert C. Seacord Jun 17, 2006
Last Changed by: Dario Necco Nov 29, 2019
Tiny Link: (useful for email) https://wiki.sei.cmu.edu/confluence/x/StYxBQ
Export As: Word · PDF  
Hierarchy
Parent Page
    Page: Rule 03. Expressions (EXP)
Time Editor  
Nov 29, 2019 09:20 Dario Necco View Changes
Aug 30, 2019 10:28 Anirban Gangopadhyay View Changes
Jul 30, 2019 09:30 Jakub Zwolakowski View Changes
Modified the TrustInSoft Analyzer entry in the Automated Detection table.
Jul 01, 2019 11:45 Jakub Zwolakowski View Changes
Added TrustInSoft Analyzer to the Automated Detection table
Dec 06, 2018 09:52 Jill Britton  
Outgoing Links
External Links (20)
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.mathworks.com/help/bugfinder/ref/certcruleexp30…
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://www.viva64.com/en/w/v567/
    https://taas.trust-in-soft.com/tsnippet/t/17da0bf9
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://www.sonarsource.com/products/codeanalyzers/sonarcfa…
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://support.roguewave.com/documentation/klocwork/en/cur…
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/cplusplus/EXP50…
    cwe.mitre.org/
    https://wiki.sei.cmu.edu/confluence/pages/viewpage.action?p…
    https://wiki.sei.cmu.edu/confluence/display/java/EXP05-J.+D…
    https://www.misra.org.uk/Publications/tabid/57/Default.aspx…
    https://wiki.sei.cmu.edu/confluence/display/java/SEI+CERT+O…
    https://cwe.mitre.org/data/index.html758.html
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
SEI CERT C Coding Standard (34)     Page: RuleChecker_V
    Page: Clang_V
    Page: Coverity_V
    Page: Rose
    Home page: SEI CERT C Coding Standard
    Page: LDRA_V
    Page: Clang
    Page: Polyspace Bug Finder
    Page: Splint_V
    Page: GCC
    Page: PVS-Studio_V
    Page: Parasoft_V
    Page: Klocwork_V
    Page: Astrée
    Page: GCC_V
    Page: Axivion Bauhaus Suite_V
    Page: RuleChecker
    Page: Klocwork
    Page: Splint
    Page: Parasoft
    Page: TrustInSoft Analyzer_V
    Page: Astrée_V
    Page: PRQA QA-C
    Page: PRQA QA-C_v
    Page: ECLAIR
    Page: LDRA
    Page: AA. Bibliography
    Page: Polyspace Bug Finder_V
    Page: Axivion Bauhaus Suite
    Page: Coverity
    Page: BB. Definitions
    Page: CC. Undefined Behavior
    Page: TrustInSoft Analyzer
    Page: ECLAIR_V