This check warns if a derived type object is deleted through a base pointer with a non-virtual destructor in its base class. It also places a note at the last point where the conversion from derived to base happened.
Corresponding CERT rule: OOP52-CPP: Do not delete a polymorphic object without a virtual destructor.
I think users would find it helpful if this had a more specific name. There are a lot of ways to misuse polymorphic objects, and this checker won't check all of them.
What do you think about "DeleteWithNonVirtualDestructor"?