| Tool | Version | Checker | Description |
|---|
| Astrée | | return-implicit | Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-MSC37 |
|
| CodeSonar | | LANG.STRUCT.MRS | Missing return statement |
| Coverity | | MISSING_RETURN | Implemented |
| Klocwork | | FUNCRET.GEN
MISRA.RETURN.NOT_LAST |
|
| LDRA tool suite | | 2 D, 36 S, 66 S | Fully implemented |
| Parasoft C/C++test | | CERT_C-MSC37-a | All exit paths from a function 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 |
|---|
|
| Missing return statement | CERT C: Rule MSC37-C | Checks for missing return statement (rule fully covered) Function does not return value though return type is not void
|
| PRQA QA-C | | 2888 |
|
| PRQA QA-C++ | | Include Page |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
| cplusplus:PRQA QA-C++_V |
|---|
|
| 2888, 4022 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| return-implicit | Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S935 |
|
| TrustInSoft Analyzer | | Include Page |
|---|
| TrustInSoft Analyzer_V |
|---|
| TrustInSoft Analyzer_V |
|---|
|
| Body of function falls-through | Exhaustively verified. |
