Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

Tool

Version

Checker

Description

Coverity Prevent

Include Page
c:Coverity_Vc:
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_Vc:
Klocwork_V
Section

EFFECT

 

Section

LDRA tool suite

Include Page
c:LDRA_Vc:
LDRA_V
Section

65 D
70 D
57 S

Section

Fully Implemented

Section

Splint

Include Page
c:Splint_Vc:
Splint_V

 

 

Related Vulnerabilities

...

MISRA Rule 14.1 and Rule 14.2

Bibliography

...

\[[Coverity 2007|AA. Bibliography#Coverity 07]\]

...

      49. Miscellaneous (MSC)