...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| Axivion Bauhaus Suite |
| CertC-STR04 | |||||||
| CodeSonar |
| LANG.TYPE.IAT LANG.TYPE.ICA LANG.TYPE.IOT LANG.TYPE.MOT | Inappropriate assignment type Inappropriate character arithmetic Inappropriate operand type Mismatched operand types | ||||||
| Compass/ROSE | |||||||||
| ECLAIR |
| CC2.STR04 | Fully implemented | ||||||
| EDG | |||||||||
| LDRA tool suite |
| 93 S, 101 S, 329 S, 432 S, 458 S | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-STR04-a | The plain char type shall be used only for the storage and use of character values | ||||||
| Polyspace Bug Finder |
| Operands shall not be of an inappropriate essential type Expressions of essentially character type shall not be used inappropriately in addition and subtraction operations The value of an expression shall not be assigned to an object with a narrower essential type or of a different essential type category Both operands of an operator in which the usual arithmetic conversions are performed shall have the same essential type category | |||||||
| PRQA QA-C |
| 0432 (C) 0674 0699 | Partially implemented | ||||||
| RuleChecker |
| Supported, but no explicit checker | |||||||
| SonarQube C/C++ Plugin |
| S810 |
...