SymQEMU evaluation data
收藏figshare.com2023-10-09 更新2025-01-22 收录
下载链接:
https://figshare.com/articles/dataset/SymQEMU_evaluation_data/24270667/1
下载链接
链接失效反馈官方服务:
资源简介:
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能够将符号执行功能编译进二进制文件中,从而在保持架构独立性的同时,享受到相应的性能优势。
提供机构:
figshare



