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 | Polyspace Bug Finder | | Include Page |
|---|
Polyspace Bug Finder_V | Polyspace Bug Finder_V | Writing to const qualified object | Object declared with a const qualifier is modified |
PRQA QA-C| PC-lint 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 |
