Page History

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

C: 0326, 3305C3305

C++: 3033, C++3038

MISRA.CAST.PTR.UNRELATED
MISRA.CAST.PTR_TO_INT
PORTING.CAST.PTR.FLTPNT
PORTING.CAST.PTR
PORTING.CAST.PTR.SIZE
PORTING.CAST.SIZE

94 S, 606 S

A cast should not be performed between a pointer to object type and a different pointer to object type

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 wrong allocated object size for cast (rule fully covered)

3033, 3038