...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
MEM56-CPP | High | Likely | Medium | P18 | L1 |
Automated Detection
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| dangling_pointer_use | |||||||||||
| Axivion Bauhaus Suite |
| CertC++-MEM56 | |||||||||||
| Helix QAC |
| DF4721, DF4722, DF4723 | |||||||||||
| Parasoft C/C++test |
| CERT_CPP-MEM56-a | Do not store an already-owned pointer value in an unrelated smart pointer | ||||||||||
| Polyspace Bug Finder |
| CERT C++: MEM56-CPP | Checks for use of already-owned pointers (rule fully covered) | ||||||||||
| PVS-Studio | 6.22 | General analysis rule |
Related Vulnerabilities
Search for other vulnerabilities resulting from the violation of this rule on the CERT website.
...