| Tool | Version | Checker | Description |
|---|
| Astrée | | CERT.MSC.37 | 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 | 9.5 | MISRA2012-RULE-17_4 | Fully implemented |
| Polyspace Bug Finder | R2016a | 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 |
|---|
|
| CERT.MSC.37 | Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S935 | |
