Versions Compared

Key

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

...

Tool

Version

Checker

Description

LDRA tool suite
 
Include Page
LDRA_V
LDRA_V
8 DPartially implemented
Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

CERT_C-DCL22-a

Avoid unused values
Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Write without a further read

MISRA CERT C: 2012 Rule 2.2Rec. DCL22-C


Checks for write without a further read (rule partially covered)

Variable never read after assignment

There shall be no dead code

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

...