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

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

Unreliable cast of pointer

Wrong allocated object size for cast

MISRA CERT C: 2012 Rule 11.1

MISRA C:2012 Rule 11.2

MISRA C:2012 Rule 11.3

MISRA C:2012 Rule 11.5

MISRA C:2012 Rule 11.7

Rule EXP36-C

Checks for wrong allocated object size for cast (rule fully covered)

Pointer implicitly cast to different data type

Allocated memory does not match destination pointer

Conversions shall not be performed between a pointer to a function and any other type

Conversions shall not be performed between a pointer to an incomplete type and any other type

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

A conversion should not be performed from pointer to void into pointer to object

A cast shall not be performed between pointer to object and a non-integer arithmetic type

3033, 3038