Versions Compared

Key

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

...

Tool

Version

Checker

Description

Coverity Prevent

Include Page
c:Coverity_V
c:Coverity_V

NO_EFFECT

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

GCC

3.0

-Wunused-value and -Wunused-parameter

Options detect unused local variables or non-constant static variables, and unused function parameters, respectively.

Section

Klocwork

Include Page
c:Klocwork_V
c:Klocwork_V
Section

EFFECT

 

Section

LDRA tool suite

Include Page
c:LDRA_V
c:LDRA_V

 

Section

65 D
70 D
57 S

Section

Fully Implemented

 

Section

Splint

Include Page
c:Splint_V
c:Splint_V

 

 

...