Versions Compared

Key

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

...

CODSTA-16

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V
 Supported, but no explicit checker
Compass/ROSE

 

 

 

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.STR36

Fully implemented

LDRA tool suite
Include Page
LDRA_V
LDRA_V
404 SPartially implemented
Parasoft C/C++test
Include Page
c:Parasoft_V
c:Parasoft_V
CODSTA-16 
Polyspace Bug FinderR2016a

Missing null in string array

String does not terminate with null character

PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
1312,0690Partially implemented
Splint
Include Page
Splint_V
Splint_V

 

 

...