...
Tool | Version | Checker | Description | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported , but no explicit checkerindirectly via MISRA C:2004 rule 6.1. | ||||||||||||||||||||
| 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 | ||||||||||||||||||||||
| Helix QAC |
| C0432, C0674, C0699 | ||||||||||||||||||||
| 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 FinderRuleChecker |
| Supported indirectly via MISRA C:2012 Rule 102004 rule 6.1MISRA C:2012 Rule 10.2 | 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 | ||||||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0432 (C) 0674 0699 | Partially implemented | RuleChecker | | Include Page | | RuleChecker_V | RuleChecker_V | Supported, but no explicit checker|||||||||||||
| SonarQube C/C++ Plugin |
| S810 |
...