Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: added parasoft

...

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 SPartially 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
Polyspace Bug FinderR2016aPointer access out of boundsPointer dereferenced outside its bounds
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v

0310
3305

Partially implemented
PRQA QA-C++4.1 3017, 3030, 3033 
PVS-Studio6.22V580

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...