Tool | Version | Checker | Description |
|---|
| Astrée | | literal-assignment
| Fully checked |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-STR05 |
|
| Clang | | -Wwrite-strings | Not enabled by -Weverything |
| CodeSonar | | LANG.TYPE.NCS | Non-const string literal |
| Compass/ROSE |
|
|
|
ECLAIR | | CC2.STR05
| Fully implemented |
| GCC | | -Wwrite-strings |
|
| Helix QAC | | C0752, C0753 |
|
| Klocwork | | MISRA.STRING_LITERAL.NON_CONST.2012 |
|
| LDRA tool suite | | 623 S | Fully implemented |
| Parasoft C/C++test | | CERT_C-STR05-a | A string literal shall not be modified PRQA QA |
| PC- | Clint Plus | | PRQA QA | C | v | PRQA QA | C | v | 0752
0753 | Partially implemented1776 | Fully supported |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| literal-assignment | Fully checked |
