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.

本数据集收录了我们对SymQEMU的评估结果。根据论文摘要（SymQEMU：针对二进制文件的基于编译的符号执行，作者Poeplau和Francillon，发表于NDSS 2021年）：SymQEMU在QEMU的基础上进行构建，通过修改目标程序的中间表示，在将其翻译为主机架构之前实现。这使得SymQEMU能够将符号执行功能编译进二进制文件中，从而在保持架构独立性的同时，享受到相应的性能优势。