emile /symbolic-execution
The goly grail.
We'll go into what symbolic execution actually is and how to do cool stuff with it.