...
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++_V3073: CTR56-CPP | Checks for pointer arithmetic on polymorphic object (rule fully covered) | |||||||
| PVS-Studio |
| V777 |
...