Tool | Version | Checker | Description |
---|
Astrée | |
| Supported indirectly via MISRA C:2004 Rule 17.4. |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC-ARR37 | Fully implemented |
Compass/ROSE |
|
|
|
Coverity | | ARRAY_VS_SINGLETON | Implemented |
LDRA tool suite | | 567 S | Partially implemented |
Parasoft C/C++test | | CERT_C-ARR37-a
| Pointer arithmetic shall not be applied to pointers that address variables of non-array type |
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C: Rule ARR37-C | Checks for invalid assumptions about memory organization (rule partly partially covered)
|
PRQA QA-C | | 2930, 2931, 2932, 2933, 2934 |
|
PRQA QA-C++ | Include Page |
---|
| cplusplus:PRQA QA-C++_V |
---|
| cplusplus:PRQA QA-C++_V |
---|
|
| 3705, 3706, 3707 |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
|
| Supported indirectly via MISRA C:2004 Rule 17.4. |