Type Casting Verification: Stopping an Emerging Attack Vector [pdf](cc.gatech.edu)
cc.gatech.edu
Type Casting Verification: Stopping an Emerging Attack Vector [pdf]
http://www.cc.gatech.edu/~blee303/paper/caver.pdf
2 comments
This paper just received the $100,000 Internet Defense Prize from Facebook at USENIX Security ’15
What? No. C++ polymorphism doesn't work based on type casting, it works based on virtual functions. Type casting would mean you were using some kind of "switch on type" scheme. That's not polymorphism. That's what polymorphism is supposed to replace.