Tool | Version | Checker | Description |
Astrée | | switch-skipped-code | Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC-DCL41 | Fully implemented |
Clang | | -Wsometimes-uninitialized
|
|
CodeSonar | | LANG.STRUCT.SW.BAD | Malformed switch Statement |
Coverity | | MISRA C 2004 Rule 15.0 MISRA C 2012 Rule 16.1 | Implemented |
Cppcheck Premium | Include Page |
---|
| Cppcheck Premium_V |
---|
| Cppcheck Premium_V |
---|
|
| premium-cert-dcl41-c | Fully implemented |
|
Helix QAC | | C2008, C2882, C3234 | Fully implemented |
Klocwork | | CERT.DCL.SWITCH.VAR_BEFORE_CASE | Fully implemented |
LDRA tool suite | | 385 S | Fully implemented |