Versions Compared

Key

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

...

Tool

Version

Checker

Description

Astrée
Include Page
Astrée_V
Astrée_V

error-information-unused-computed

Fully checked
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V
LANG.FUNCS.IRVIgnored return value
Compass/ROSE




Coverity

Include Page
Coverity_V
Coverity_V

CHECKED_RETURN

Finds inconsistencies in how function call return values are handled. Coverity Prevent cannot discover all violations of this recommendation, so further verification is necessary

Cppcheck
 
Include Page
Cppcheck_V
Cppcheck_V
leakReturnValNotUsed, ignoredReturnValue

Return value of memory allocation function is not used.

Ignored return value from function when configuration says it must be used. See the chapter "Library configuration" in the cppcheck manual

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

CC2.EXP12

Fully implemented

Klocwork
Include Page
Klocwork_V
Klocwork_V

MISRA.FUNC.UNUSEDRET.2012
SV.RVT.RETVAL_NOTTESTED


LDRA tool suite
Include Page
LDRA_V
LDRA_V

382 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V
CODSTA-122_{a,b}Fully implemented

Polyspace Bug Finder

R2016bReturned value of a sensitive function not checkedSensitive functions called without checking for unexpected return values and errors
PRQA QA-C
Include Page
PRQA QA-C_v
PRQA QA-C_v
3200Fully implemented
PVS-Studio6.22V530, V698, V757, V797
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V

error-information-unused

Partially checked
Splint
Include Page
Splint_V
Splint_V
PVS-Studio6.22V530, V698, V757, V797General analysis rule set



Related Vulnerabilities

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

...