Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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

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
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Pointer access out of bounds

Unreliable cast of pointer

MISRA C:2012 Rule 11.3

Pointer dereferenced outside its bounds

Pointer implicitly cast to different data type

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

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v

0310
, 0751, 3305

Partially implemented
PRQA QA-C++4.1 3017, 3030, 3033 
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V580

...