...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| invalid_pointer_subtraction invalid_pointer_comparison | |||||||
| LDRA tool suite |
| 70 S, 87 S, 437 S, 438 S | Enhanced Enforcement | ||||||
| Parasoft C/C++test |
| CERT_CPP-CTR54-a | Do not compare iterators from different containers | ||||||
| PRQA QA-C++ |
| 2668, 2761, 2762, 2763, 2766, 2767, 2768 | Enforced by QA-CPP |
...