> Your approach seems to have some slight similarities with -fvtable-verify: > <http://gcc.gnu.org/ml/gcc-patches/2012-11/txt00001.txt> > > Maybe some code sharing could be achieved?
Thanks for the hint, this project was actually a big inspiration for my thesis and is part of my related work, although I made some mistakes in its description.