Astrée | | non-virtual-public-destructor-in-non-final-class
| Partially checked |
Axivion Bauhaus Suite | Include Page |
---|
| Axivion Bauhaus Suite_V |
---|
| Axivion Bauhaus Suite_V |
---|
|
| CertC++-OOP52 |
|
Klocwork | | CL.MLK.VIRTUAL CWARN.DTOR.NONVIRT.DELETE |
|
Clang | | -Wdelete-non-virtual-dtor |
|
LDRA tool suite | | 303 S
| Partially implemented |
Parasoft C/C++test | | CERT_CPP-OOP52-a | Define a virtual destructor in classes used as base classes which have virtual functions |
PRQA QA-C++ | Include Page |
---|
| PRQA QA-C++_V |
---|
| PRQA QA-C++_V |
---|
|
| 3402, 3403, 3404 |
|
Polyspace Bug Finder | Include Page |
---|
| Polyspace Bug Finder_V |
---|
| Polyspace Bug Finder_V |
---|
|
| CERT C++: OOP52-CPP | Checks for situations when a class has virtual functions but not a virtual destructor (rule partially covered) |
PVS-Studio | | V599, V689 |
|
RuleChecker | Include Page |
---|
| RuleChecker_V |
---|
| RuleChecker_V |
---|
|
| non-virtual-public-destructor-in-non-final-class
| Partially checked |
SonarQube C/C++ Plugin | Include Page |
---|
| SonarQube C/C++ Plugin_V |
---|
| SonarQube C/C++ Plugin_V |
---|
|
| S1235 |
|