...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| delete-with-incomplete-type | |||||||||||
| Coverity | 6.5 | DELETE_VOID | Fully implemented | ||||||||||
| Clang |
| -Wdelete-incomplete | |||||||||||
| CodeSonar |
| LANG.CAST.PC.INC | Conversion: pointer to incomplete | ||||||||||
| Helix QAC |
| C++3112 | |||||||||||
| Klocwork |
| CERT.EXPR.DELETE_PTR.INCOMPLETE_TYPE | |||||||||||
| LDRA tool suite |
| 169 S, 554 S | Enhanced Enforcement | ||||||||||
| Parasoft C/C++test |
| CERT_CPP-EXP57-a | Do not delete objects with incomplete class at the point of deletion | ||||||||||
| Parasoft Insure++ | Runtime detection | ||||||||||||
| Polyspace Bug Finder |
| CERT C++: EXP57-CPP | Checks for conversion or deletion of incomplete class pointer | ||||||||||
| RuleChecker |
| | Include Page | | Helix QAC_V | Helix QAC_Vdelete-with-incomplete-typeHelix QAC |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...