...
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 |
| MISRA2008-5_0_17, MISRA2004-17_2 | Fully implemented | ||||||
| R2017b | Subtraction or comparison between pointers to different arrays | Subtraction or comparison between pointers causes undefined behavior | |||||||
| PRQA QA-C |
| 0487, 0513, 2771, 2772, | Fully implemented | ||||||
| PVS-Studio | 6.22 | V736, V782 |
...