 
                            ...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée | 
 | overflow_upon_dereference invalid_function_pointer | |||||||
| 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++ | 
 | 2810, 2811, 2812, 2813, 2814 | |||||||
| Helix QAC | 
 | 
Related Vulnerabilities
Search for other vulnerabilities resulting from the violation of this rule on the CERT website.
...