Symbolic Execution Over Processor Traces - View it on GitHub