SymQEMU evaluation data
收藏官方服务：
资源简介：
This dataset contains our evaluation results for SymQEMU.From the abstract of the paper (<i>SymQEMU: Compilation-based symbolic execution for binaries</i>, 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.
提供机构：
figshare创建时间：
2023-10-09
