Page History

LANG.CAST.PC.OBJ

Cast: Object Pointers

Can detect violations of this rule. However, it does not flag explicit casts to void * and then back to another pointer type

MISRA C 2004 Rule 11.4

MISRA C 2012 Rule 11.1

MISRA C 2012 Rule 11.2

MISRA C 2012 Rule 11.5

MISRA C 2012 Rule 11.7

ECLAIR

CC2.EXP36

Can detect some violations of this rule when the -Wcast-align flag is used

C0326, C3305

C++3033, C++3038

94 S, 606 S

Do not cast pointers into more strictly aligned pointer types

2445

Partially supported: reports casts directly from a pointer to a less strictly aligned type to a pointer to a more strictly aligned type

CERT C: Rule EXP36-C

Checks for source buffer misaligned with destination buffer (rule fully covered)