...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| overflow_upon_dereference invalid_function_pointer | |||||||
| Axivion Bauhaus Suite |
| CertC++-OOP55 | |||||||
| Helix QAC |
| C++2810, C++2811, C++2812, C++2813, C++2814 | |||||||
| 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 | ||||||||
| Polyspace Bug Finder |
| CERT C++: OOP55-CPP | Checks for pointers to member accessing non-existent class members (rule fully covered). | ||||||
| PRQA QA-C++ |
| 2810, 2811, 2812, 2813, 2814 |
...