...
Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| literal-assignment | Fully checked | ||||||||||||
| Axivion Bauhaus Suite |
| CertC-STR05 | |||||||||||||
| CodeSonar |
| LANG.TYPE.NCS | Non-const string literal | ||||||||||||
| Compass/ROSE | |||||||||||||||
| CC2.STR05 | Fully implemented | |||||||||||||
| 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 | |||||||||||
| PRQA QA-C |
| 0752 | Partially implemented | ||||||||||||
| RuleChecker |
| literal-assignment | Fully checked |
...