Tool | Version | Checker | Description |
---|
Astrée | | encoding-mismatch | Fully checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC-STR10 |
|
ECLAIR | | CC2.STR10
| Fully implemented. |
Helix QAC | | C0874 |
|
LDRA tool suite | | 450 S | Fully implemented |
Parasoft C/C++test | | CERT_C-STR10-a | Narrow and wide string literals shall not be concatenated |
PRQA QAPC-Clint Plus | | PRQA QA | C | v | PRQA QA | C_v0874 | 707 | Fully supported |
SonarQube C/C++ Plugin | Include Page |
---|
| SonarQube C/C++ Plugin_V |
---|
| SonarQube C/C++ Plugin_V |
---|
|
| NarrowAndWideStringConcat |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| encoding-mismatch | Fully checked |