S2E测试平台及并行性能分析

摘要

S2E是一款开源的基于Qemu虚拟机并结合KLEE以及LLVM的软件安全测试平台,其主要优越性体现为:支持全系统控制；支持多平台分析；支持多核以提高分析效率.分析研究该平台,对软件测试、漏洞挖掘都具有现实意义.S2E的成功得益于对符号执行、动态二进制翻译和虚拟机技术的运用.文章着重介绍S2E的架构,插件的使用实例,并结合实例分析S2E的并行性能.