Page Information

Title:	EXP36-C. Do not cast pointers into more strictly aligned pointer types
Author:	cjohns	Apr 07, 2007
Last Changed by:	Michal Rozenau	Jun 12, 2023
Tiny Link: (useful for email)	https://wiki.sei.cmu.edu/confluence/x/u9UxBQ
Export As:	Word · PDF

Android (1)     Page: Applicable in Principle to Android (C Rules/Recomendations)

SEI CERT C Coding Standard (4)     Page: Errata for SEI CERT C Coding Standard (2016 Edition)     Page: CC. Undefined Behavior     Page: MEM02-C. Immediately cast the result of a memory allocation function call into a pointer to the allocated type     Page: DCL11-C. Understand the type issues associated with variadic functions

Parent Page     Page: Rule 03. Expressions (EXP)

• ldra
• gcc
• edg
• compass/rose
• ptc
• rose-complete
• conversion
• rule
• exp
• in-cpp

Time	Editor
Jun 12, 2023 06:17	Michal Rozenau	View Changes
Parasoft C/C++test 2023.1
Apr 20, 2023 05:09	Jill Britton	View Changes
Sep 26, 2022 16:10	Anirban Gangopadhyay	View Changes
May 19, 2022 10:12	Jon O'Donnell	View Changes
Apr 27, 2022 06:09	Jill Britton

External Links (17)
    https://wiki.sei.cmu.edu/confluence/display/c/How+this+Codi…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://www.mathworks.com/help/bugfinder/ref/certcruleexp36…
    https://wiki.sei.cmu.edu/confluence/display/c/AA.+Bibliogra…
    https://pvs-studio.com/en/docs/warnings/v1032/
    https://wiki.sei.cmu.edu/confluence/display/c/PVS-Studio
    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/cplusplus/VOID+…
    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/c/Kloc…
    https://pvs-studio.com/en/docs/warnings/v548/
    https://pvs-studio.com/en/docs/warnings/v641/
    https://www.kb.cert.org/vulnotes/bymetric?searchview&query=…
    mail-index.netbsd.org/tech-kern/2003/08/11/0001.html

SEI CERT C Coding Standard (32)     Page: CodeSonar_V     Page: Parasoft     Page: RuleChecker     Page: Axivion Bauhaus Suite_V     Page: LDRA     Page: Astrée     Page: Astrée_V     Page: GCC_V     Page: Axivion Bauhaus Suite     Page: EDG     Page: ECLAIR     Page: CodeSonar     Page: GCC     Page: Helix QAC     Page: Klocwork_V     Page: PVS-Studio_V     Page: RuleChecker_V     Page: Parasoft_V     Page: Coverity_V     Page: CC. Undefined Behavior     Home page: SEI CERT C Coding Standard     Page: Coverity     Page: Rose     Page: Polyspace Bug Finder     Page: LDRA_V     Page: AA. Bibliography     Page: PC-lint Plus_V     Page: Polyspace Bug Finder_V     Page: PC-lint Plus     Page: Helix QAC_V     Page: BB. Definitions     Page: ECLAIR_V