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

return-implicit
Fully checked
Axivion Bauhaus Suite

Include Page
Axivion Bauhaus Suite_V
Axivion Bauhaus Suite_V

CertC++-MSC52
Clang
Include Page
Clang_V
Clang_V
-Wreturn-typeDoes not catch all instances of this rule, such as function-try-blocks
CodeSonar
Include Page
CodeSonar_V
CodeSonar_V

LANG.STRUCT.MRS
LANG.STRUCT.NVNR

Missing return statement
Non-void noreturn,
Helix QAC

Include Page
Helix QAC_V
Helix QAC_V

DF2888
Klocwork
Include Page
Klocwork_V
Klocwork_V

FUNCRET.GEN

FUNCRET.IMPLICIT


LDRA tool suite
Include Page
LDRA_V
LDRA_V

2 D, 36 S

Fully implemented

Parasoft C/C++test
Include Page
Parasoft_V
Parasoft_V

CERT_CPP-MSC52-a

All exit paths from a function, except main(), with non-void return type shall have an explicit return statement with an expression

Polyspace Bug Finder

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

CERT C++: MSC52-CPPChecks for missing return statements (rule partially covered)
SonarQube C/C++ Plugin
Include Page
SonarQube C/C++ Plugin_V
SonarQube C/C++ Plugin_V
S935
PVS-Studio

Include Page
PVS-Studio_V
PVS-Studio_V

V591
RuleChecker
Include Page
RuleChecker_V
RuleChecker_V
return-implicit
Fully checked

...