SymQEMU: Compilation-based symbolic execution for binaries - View it on GitHub