Versions Compared

Key

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

...

Tool

Version

Checker

Description

Coverity

Include Page
Coverity_V
Coverity_V

NO_EFFECT

Finds statements or expressions that do not accomplish anything or statements that perform an unintended action

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.MSC12noeffect

Partially implemented

GCC

3.0

-Wunused-value
-Wunused-parameter

Options detect unused local variables or nonconstant static variables and unused function parameters, respectively

Klocwork

Include Page
Klocwork_V
Klocwork_V

EFFECT

 

LDRA tool suite

Include Page
LDRA_V
LDRA_V

65 D
70 D
57 S

Fully implemented

PRQA QA-C
Include Page
PRQA_V
PRQA_V

3110
3112

Partially implemented

Splint

Include Page
Splint_V
Splint_V

 

 

...