...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| overflow_upon_dereference invalid_function_pointer | |||||||||||
| Axivion Bauhaus Suite |
| CertC++-OOP55 | |||||||||||
| CodeSonar |
| LANG.MEM.UVAR | Uninitialized Variable | ||||||||||
| Helix QAC |
| DF2810, DF2811, DF2812, DF2813, DF2814 | |||||||||||
| Klocwork |
| CERT.OOP.PTR_MEMBER.NO_MEMBER | |||||||||||
| Parasoft C/C++test |
| CERT_CPP-OOP55-a | A cast shall not convert a pointer to a function to any other pointer type, including a pointer to function type | ||||||||||
| Parasoft Insure++ | Runtime detection | PRQA QA-C++ | |||||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | 2810, 2811, 2812, 2813, 2814 | ||||||||||
| Polyspace Bug Finder |
| CERT C++: OOP55-CPP | Checks for pointers to member accessing non-existent class members (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.
...