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 Invalid assumptions about memory organization (rule partly covered) Address is computed by adding or subtracting from address of a variable
|
| 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. |
