SEI CERT C Coding Standard

Space shortcuts

Page tree

Versions Compared

Old Version 25

changes.mady.by.user David Svoboda

Saved on

compared with

New Version 26

changes.mady.by.user Melanie Thompson

Saved on

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

Wiki Markup
Modifying a variable through a pointer of an incompatible type can lead to unpredictable results. This is often caused by a violation of aliasing rules. C99 Section 6.5, Para.paragraph 7 \[[ISO/IEC 9899:1999|AA. Bibliography#ISO/IEC 9899-1999]\] specifies those circumstances in which an object may or may not be aliased.

...

Rule

Severity

Likelihood

Remediation Cost

Priority

Level

EXP39-C

medium

unlikely

high

P6

L2

Bibliography

Wiki Markup
[GCC Known Bugs|http://gcc.gnu.org/bugs.html#known] C bugs, Aliasing issues while casting to incompatible types

[GCC
Manual
Wiki Markup
 Manual|http://gcc.gnu.org/onlinedocs/gcc-4.3.2/gcc/Optimize-Options.html#Optimize-Options]
\[Walfridsson \032003] Krister Walfridsson. [Aliasing, pointer casts and gcc 3.3|http://mail-index.netbsd.org/tech-kern/2003/08/11/0001.html] Aliasing issue. August, 2003.
Wiki Markup

\[[ISO/IEC 9899:1999|AA. Bibliography#ISO/IEC 9899-1999]\] Section 6.5, "Expressions"
Wiki Markup

\[Acton 062006\] Mike Acton. [Understanding Strict Aliasing|http://www.cellperformance.com/mike_acton/2006/06/understanding_strict_aliasing.html]. June 01, 2006.

...