| Tool | Version | Checker | Description |
|---|
| Astrée | | return-implicit | Fully checked |
| 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 | | MISRA2004-16_8
| Fully implemented |
| 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 |
|
