| 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, 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. |
...
Optimizing for performance can lead to aliasing errors which can be quite difficult to detect. Furthermore, as in the case above, unexpected results can lead to buffer overflow attacks and/or bypassing security checks and/or unexpected execution.
Rule Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP39-C | medium | unlikely | high | P6 P2 | L2 L3 |
Related Guidelines
ISO/IEC 9899:1999 Section 6.5, "Expressions"
...