Versions Compared

Key

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

...

Tool

Version

Checker

Description

Section

LDRA tool suite

Include Page
c:LDRA_Vc:
LDRA_V
Section

1 D
70 D
94 D
15 D

Section

Fully Implemented

Section

Coverity Prevent

Include Page
c:Coverity_Vc:
Coverity_V
Section

UNUSED_VALUE

Section

finds variables that are assigned pointer values returned from a function call but never used

Section

Klocwork

Include Page
c:Klocwork_Vc:
Klocwork_V

 

Section

can detect violations of this rule with a number of checkers

...

ISO/IEC TR 24772 "BRS Leveraging human experience," "KOA Likely incorrect expressions," "XYQ Dead and Deactivated Code," and "XYR Unused Variable"

Bibliography

...

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

...

MSC12-C. Detect and remove code that has no effect      49. Miscellaneous (MSC)