1.Close Encounters with Symbolic Executionblog | 2014-11-25 13:50 | blog.trailofbits.com | Original ↗ | .md | #darpa | #program-analysis | #symbolic-execution