SymQEMU evaluation data

This dataset contains our evaluation results for SymQEMU.

From the abstract of the paper (SymQEMU: Compilation-based symbolic execution for binaries, Poeplau and Francillon, NDSS 2021): SymQEMU, builds on top of QEMU, modifying the intermediate representation of the target program before translating it to the host architecture. This enables SymQEMU to compile symbolic-execution capabilities into binaries and reap the associated performance benefits while maintaining architecture independence.