Page History

...

Tool

Version

Checker

Description

Include Page

	CodeSonar_V
	CodeSonar_V

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

Include Page

	LDRA_V
	LDRA_V

45 D
53 D
54 D
438 S
576 S

Partially implemented

Parasoft C/C++test

9.5

MISRA-101

BD-PB-ARRAY

Checks all array access, not just pointer arithmetic

Parasoft Insure++

Runtime analysis for over- or under- read or write

Polyspace Bug Finder

R2016a

Implicit scaling in pointer arithmetic might be ignored

Pointer dereferenced outside its bounds

Include Page

	PRQA QA-C_v
	PRQA QA-C_v

0488, 2930, 2931, 2932, 2933, 2934

Partially implemented

...

Space shortcuts