...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| pointer-subtraction | Partially checked | ||||||
| Axivion Bauhaus Suite |
| CertC-ARR36 | Can detect operations on pointers that are unrelated | ||||||
| Coverity |
| MISRA C 2004 17.2 MISRA C 2004 17.3 MISRA C 2012 18.2 MISRA C 2012 18.3 | Implemented | ||||||
| LDRA tool suite |
| 437 S, 438 S | Fully implemented | ||||||
| Parasoft C/C++test |
| CERT_C-ARR36-a | Pointer arithmetic shall only be applied to pointers that address an array or array element | ||||||
| Subtraction or comparison between pointers to different arrays MISRA CERT C: 2012 Rule 18.2Rule ARR36-C | Checks for subtraction or comparison between pointers to different arrays (rule partially covered) Subtraction or comparison between pointers causes undefined behavior Subtraction between pointers shall only be applied to pointers that address elements of the same array | |||||||
| PRQA QA-C |
| 0487, 0513, 2668, 2669, | Fully implemented | ||||||
| PVS-Studio |
| V736, V782 | |||||||
| TrustInSoft Analyzer |
| differing_blocks | Exhaustively verified (see the compliant and the non-compliant example). |
...