Data-Oriented Exploits via Programming Language Synthesis [pdf] | Hacker News Reader