...
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 |
...