Tool | Version | Checker | Description |
|---|
| Astrée | | switch-label | Fully checked |
| CodeSonar | | LANG.STRUCT.SW.MPC | Misplaced case |
ECLAIR | | CC2.MSC20
| Fully implemented |
| Helix QAC | |
|
|
| LDRA tool suite | | 245 S | Fully implemented |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 646, 9055 | Fully supported |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rec. MSC20-C | Checks for situations where switch label is not at the outermost level of switch statement body (rec. fully covered)
|
| PRQA QA-C | | 2019 |
|
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| switch-label | Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S1036 | Helix QAC | | Include Page |
|---|
| Helix QAC_V | Helix QAC_V
|
