...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC++-CTR56 | |||||||
| CodeSonar |
| LANG.STRUCT.PARITH | Pointer Arithmetic | ||||||
| Helix QAC |
| C++3073 | |||||||
| Parasoft C/C++test |
| CERT_CPP-CTR56-a | Don't treat arrays polymorphically | ||||||
| LDRA tool suite |
| 567 S | Enhanced Enforcement | ||||||
| Polyspace Bug Finder |
| CERT C++: CTR56-CPP | Checks for pointer arithmetic on polymorphic object (rule fully covered) | ||||||
| PRQA QA-C++ |
| 3073 | |||||||
| PVS-Studio |
| V777 |
...