SymQEMU: Compilation-based symbolic execution for binaries