| 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 | Function does not return value though return type is not void |
| PRQA QA-C | | 2888 |
|
| PRQA QA-C++ |
| 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 |
|
