Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Parasoft C/C++test 10.4

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V
enum-implicit-valueFully checked
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
LANG.STRUCT.INIT.ENUMInconsistent Enumerator Initialization
Compass/ROSE




ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.INT09

Fully implemented

Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.ENUM.IMPLICIT.VAL.NON_UNIQUE.2012
LDRA tool suite
Include Page
LDRA_V
LDRA_V

85 S, 630 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
MISRA2004-9_3

CERT_C-INT09-a

In an enumerator list, the "=" construct shall not be used to explicitly initialise members other than the first, unless all items are explicitly initialised

Fully implemented

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

0724

Fully implemented
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
enum-implicit-valueFully checked

...