ARCHIVE
symqemu_benchmark.tar.gz (65.55 kB)
ARCHIVE
2020-05-24-symqemu.zip (6.17 MB)
ARCHIVE
symqemu_afl_tcpdump.tar.gz (10.86 MB)
ARCHIVE
symqemu_afl_rar.tar.gz (9.02 MB)
ARCHIVE
symqemu_afl_openjpeg.tar.gz (24.52 MB)
ARCHIVE
symqemu_afl_libarchive.tar.gz (16.12 MB)
1/0
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.
Funding
DAta Protection of COnnected Devices and Smartphones – DAPCODS
Agence Nationale de la Recherche
Find out more...