Symbolic execution in vuln research (2015) | Hacker News Reader