TypeSan checks casts in C++ code - code released for CCS 2016 - View it on GitHub