Versions Compared

Key

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

...

Tool

Version

Option

Description

Coverity Prevent

V. 5.0

NO_EFFECT

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

GCC

V. 4.3.5

-Wunused-value and -Wunused-parameter

 

Klocwork

 

EFFECT 

 

LDRA tool suite

V. 7.6.0

 

 

Splint

V. 3.1.1

 

 

...