Page Information

Title:	CON40-C. Do not refer to an atomic variable twice in an expression
Author:	David Svoboda	Nov 01, 2013
Last Changed by:	Francesco Mariani	Jul 02, 2025
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/MtUxBQ
Export As:	Word · PDF

Android (1)     Page: Unknown Applicability (C Rules/Recomendations)

Parent Page     Page: Rule 14. Concurrency (CON)

• review-dms
• con
• cwe-366
• no-autodetect
• ptc
• android-unknown
• review-jb
• review-rcs
• rule
• review-ajb
• cwe-567
• cwe-413
• cwe-667
• in-cpp

Time	Editor
Jul 02, 2025 07:56	Francesco Mariani	View Changes
May 06, 2025 10:38	David Svoboda	View Changes
May 05, 2025 09:39	Swasti Shrivastava	View Changes
REM Cost Reform
Dec 12, 2024 01:45	Swasti Shrivastava	View Changes
Nov 15, 2024 15:02	Caden Milne
Updated references from C11->C23

External Links (11)
    https://wiki.sei.cmu.edu/confluence/display/c/Polyspace+Bug…
    https://www.securecoding.cert.org/confluence/display/seccod…
    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/How+this+Codi…
    https://www.mathworks.com/help/bugfinder/ref/certcrulecon40…
    cwe.mitre.org/data/definitions/366.html
    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://cwe.mitre.org/data/index.html

SEI CERT C Coding Standard (23)     Page: Polyspace Bug Finder_V     Page: Cppcheck Premium     Page: Axivion Bauhaus Suite     Page: Helix QAC     Page: Coverity     Page: Cppcheck Premium_V     Page: Astrée_V     Home page: SEI CERT C Coding Standard     Page: CodeSonar     Page: AA. Bibliography     Page: Astrée     Page: RuleChecker_V     Page: Axivion Bauhaus Suite_V     Page: RuleChecker     Page: CON41-C. Wrap functions that can fail spuriously in a loop     Page: Klocwork     Page: Coverity_V     Page: Parasoft     Page: CodeSonar_V     Page: Helix QAC_V     Page: Security Reviewer - Static Reviewer     Page: Parasoft_V     Page: Klocwork_V