To guard against runaway code overwriting a virtual table, add a feature which, at runtime, verifies the vtable before using it to make a call.  GCC has a similar feature.  If GCC is built with --enable-vtable-verify, a library named libvtv is built.  If the application code links with libvtv, these runtime checks are conducted.