Page History

...

Recommendation	Severity	Likelihood	Remediation Cost	Priority	Level
EXP39-C	Medium	Unlikely	High	P2	L3

Automated Detection

Tool

Version

Checker

Description

LDRA tool suite

Include Page

	LDRA_V
	LDRA_V

94 S, 554 S

Partially implemented

Parasoft C/C++test

Include Page

	Parasoft_V
	Parasoft_V

MISRA2004-10_1_b, MISRA2004-10_2_1, MISRA2004-11_4, BD-PB-OVERFARRAY, BD-SECURITY-OVERFMT, BD-SECURITY-OVERFRD, BD-SECURITY-OVERFWR

CERT_C-EXP39-a
CERT_C-EXP39-b
CERT_C-EXP39-c
CERT_C-EXP39-d
CERT_C-EXP39-e
CERT_C-EXP39-f

There shall be no implicit conversions from integral to floating type
A cast should not be performed between a pointer to object type and a different pointer to object type
Avoid accessing arrays and pointers out of bounds
Avoid buffer overflow from tainted data due to defining incorrect format limits
Avoid buffer read overflow from tainted data
Avoid buffer write overflow from tainted data

Polyspace Bug Finder

Include Page