Versions Compared

Key

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

...

Tool

Version

Checker

Description

Compass/ROSE

 

 

Can detect violations of this recommendation while checking for violations of recommendation DCL00-C. Const-qualify immutable objects

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.DCL13

Fully implemented

Klocwork
Include Page
Klocwork_V
Klocwork_V
MISRA.PPARAM.NEEDS.CONST 
LDRA tool suite
Include Page
LDRA_V
LDRA_V

120 D

Fully implemented

Parasoft C/C++test9.5MISRA2005-16_7Fully implemented
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v

3673
0431(C)

Fully implemented

...