...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| -analyzer-checker=cplusplus | Checked with clang -cc1 or (preferably) scan-build | |||||||
| CodeSonar |
| ALLOC.TM | Type Mismatch | ||||||
| Helix QAC |
| C++3166 | |||||||
| Klocwork |
| CERT.EXPR.DELETE_ARR.BASE_PTR | |||||||
| Parasoft C/C++test |
| CERT_CPP-EXP51-a | Do not treat arrays polymorphically | ||||||
| Parasoft Insure++ | Runtime detection | ||||||||
| Polyspace Bug Finder |
| CERT C++: EXP51-CPP | Checks for delete operator used to destroy downcast object of different type. |
Related Vulnerabilities
Search for other vulnerabilities resulting from the violation of this rule on the CERT website.
...