Type Casting Verification: Stopping an Emerging Attack Vector [pdf](usenix.org)

https://www.usenix.org/system/files/conference/usenixsecurity15/sec15-paper-lee.pdf