...
Tool | Version | Checker | Description | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| string-literal-modfication write-to-string-literal | Fully checked | |||||||||||||||||
| Axivion Bauhaus Suite |
| CertC-STR30 | Fully implemented | |||||||||||||||||
| Compass/ROSE | Can detect simple violations of this rule | |||||||||||||||||||
| Coverity |
| PW | Deprecates conversion from a string literal to "char *" | |||||||||||||||||
| Helix QAC |
| C0556, C0752, C0753, C0754 C++3063, C++3064, C++3605, C++3606, C++3607 | ||||||||||||||||||
| CERT.STR.ARG.CONST_TO_NONCONST | |||||||||||||||||||
| LDRA tool suite |
| 157 S | Partially implemented | |||||||||||||||||
| Parasoft C/C++test |
| CERT_C-STR30-a | A string literal shall not be modified | |||||||||||||||||
| PC-lint Plus |
| 489, 1776 | Partially supported | |||||||||||||||||
| Polyspace Bug Finder |
| CERT C: Rule STR30-C | Checks for writing to const qualified object (rule fully covered) | PRQA QA-C | ||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0556, 0752, 0753, 0754 | Partially implemented | PRQA QA-C++ | |||||||||||||||
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | ||||||||||||||||||
| 3063, 3064, 3605, 3606, 3607, 3842 | PVS-Studio |
| V675 | |||||||||||||||||
| RuleChecker |
| string-literal-modfication | Partially checked | |||||||||||||||||
| Splint |
| |||||||||||||||||||
| TrustInSoft Analyzer |
| mem_access | Exhaustively verified (see one compliant and one non-compliant example). |
...