...
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 | 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, 2771, 2772, | Fully implemented | ||||||
| PVS-Studio |
| V736, V782 |
...