...
Tool | Version | Checker | Description | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| overflow_upon_dereference invalid_function_pointer | |||||||||||
Helix QAC |
| ||||||||||||
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 | 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.
...