Tool | Version | Checker | Description |
|---|
| Astrée | | CERT.INT.36 | Fully checked |
| Clang | | -Wint-to-pointer-cast, -Wint-conversion | Can detect some instances of this rule, but does not detect all |
| CodeSonar | | LANG.CAST.PC.CONST2PTR
LANG.CAST.PC.INT | Conversion: integer constant to pointer
Conversion: pointer/integer |
| Compass/ROSE | | | |
| Coverity | | PW.POINTER_CONVERSION_LOSES_BITS | Fully implemented |
| Klocwork | | MISRA.CAST.OBJ_PTR_TO_INT.2012 | |
| LDRA tool suite | | 439 S, 440 S
| Fully implemented |
| Parasoft C/C++test | 9.5 | MISRA2008-5_2_8 | Fully implemented |
| PRQA QA-C | | 305, 306, 309, 429, 432, 557, 563, 671, 674 | Partially implemented |
| RuleChecker | | Include Page |
|---|
| RuleChecker_V |
|---|
| RuleChecker_V |
|---|
|
| CERT.INT.36 | Fully checked |
| SonarQube C/C++ Plugin | | Include Page |
|---|
| SonarQube C/C++ Plugin_V |
|---|
| SonarQube C/C++ Plugin_V |
|---|
|
| S1767 | Partially implemented |
