Page History

LANG.STRUCT.PARITH

LANG.MEM.BO
LANG.MEM.BU
LANG.STRUCT.PBB
LANG.STRUCT.PPE
LANG.MEM.TBA
LANG.MEM.TO
LANG.MEM.TU

Pointer arithmetic

Buffer overrun
Buffer underrun
Pointer before beginning of object
Pointer past end of object
Tainted buffer access
Type overrun
Type underrun

45 D
53 D
54 D
438 S
576 S

Partially implemented

CERT_C-EXP08-a
CERT_C-EXP08-b

Pointer arithmetic should not be used
Avoid accessing arrays out of bounds

Incorrect pointer scaling

Pointer access out of bounds

Invalid use of standard library memory routine

MISRA C:2012 Rule 18.1

MISRA C:2012 Rule 18.2

MISRA C:2012 Rule 18.3

CERT C: Rec. EXP08-C

Checks for:

• Pointer points outside array after arithmetic on

Implicit scaling in pointer arithmetic might be ignored

Pointer dereferenced outside its bounds

Standard library memory function called with invalid arguments

• pointer operand
• Subtraction between pointers to different arrays
• Incorrect pointer scaling

Rec. fully supported. shall only be applied to pointers that address elements of the same arrayThe relational operators >, >=, < and <= shall not be applied to objects of pointer type except where they point into the same object

0488, 2930, 2931, 2932, 2933, 2934

Partially implemented