Symbolic execution (6.858 Fall 2014) | Hacker News Reader