...
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 | Fully implemented | ||||||
| R2017b |
| 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 |
...