...
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) | ||||||||||
| Helix QAC | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for other vulnerabilities resulting from the violation of this rule on the CERT website.
...