...
Tool | Version | Checker | Description | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| pointer-qualifier-cast-volatile pointer-qualifier-cast-volatile-implicit | Supported indirectly via MISRA C 2012 Rule 11.8 | |||||||||||||
| Axivion Bauhaus Suite |
| CertC-EXP32 | Fully implemented | |||||||||||||
| Clang |
| -Wincompatible-pointer-types-discards-qualifiers | ||||||||||||||
| Compass/ROSE | ||||||||||||||||
| Coverity |
| MISRA C 2012 Rule 11.8 | Implemented | |||||||||||||
| GCC |
| Can detect violations of this rule when the | ||||||||||||||
| Helix QAC |
| C0312, C0562, C0563, C0673, C0674 | Fully implemented | |||||||||||||
| Klocwork |
| CERT.EXPR.VOLATILE.ADDR | Fully implemented | |||||||||||||
| LDRA tool suite |
| 344 S | Partially implemented | |||||||||||||
| Parasoft C/C++test |
| CERT_C-EXP32-a | A cast shall not remove any 'const' or 'volatile' qualification from the type of a pointer or reference | |||||||||||||
| Polyspace Bug Finder |
| Qualifier removed in conversion MISRA CERT C: 2012 Rule 11.8 | Variable qualifier is lost during conversion A cast shall not remove any const or volatile qualification from the type pointed to by a pointer | PRQA QA-C | ||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0312,562,563,673,674 | Checks for cast to pointer that removes const or volatile qualification (rule fully covered) Fully implemented | ||||||||||||
| RuleChecker |
| pointer-qualifier-cast-volatile pointer-qualifier-cast-volatile-implicit | Supported indirectly via MISRA C 2012 Rule 11.8 |
...