Challenges for Symbolic Execution Workshop @ REcon - View it on GitHub