Tool | Version | Checker | Description |
|---|
| Astrée | | invalid-noreturn
| Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-MSC53 |
|
| CodeSonar | | LANG.STRUCT.RFNR | Return from noreturn |
| Clang | | -Winvalid-noreturn |
|
| Helix QAC | | C++2886 |
|
| Klocwork | | CERT.MSC.NORETURN_FUNC_RETURNS |
|
| Parasoft C/C++test | | CERT_CPP-MSC53-a | Never return from functions that should not return |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: MSC53-CPP | Checks for [[noreturn]] functions returning to caller (rule fully covered) |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| invalid-noreturn
| Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S935 |
|
