CastSan: efficient detection of bad C++ casts [pdf] | Hacker News Reader