...
Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| pointer-subtraction | Partially checked | |||||||
| 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 |
| MISRA2004-17_2 | CERT_C-ARR36-a | Pointer arithmetic shall only be applied to pointers that address an array or array element Fully implemented | ||||||
| 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 |
...