| S2E测试平台及并行性能分析 |
| |
| 引用本文： | 王学,李学新,周智鹏,袁耀文. S2E测试平台及并行性能分析[J]. 信息网络安全, 2012, 0(7): 16-19 |
| |
| 作者姓名： | 王学 李学新 周智鹏 袁耀文 |
| |
| 作者单位： | 1. 清华大学计算机科学与技术系,北京,100084
2. 解放军95837部队,北京,100093 |
| |
| 摘 要： | S2E是一款开源的基于Qemu虚拟机并结合KLEE以及LLVM的软件安全测试平台,其主要优越性体现为：支持全系统控制;支持多平台分析;支持多核以提高分析效率。分析研究该平台,对软件测试、漏洞挖掘都具有现实意义。S2E的成功得益于对符号执行、动态二进制翻译和虚拟机技术的运用。文章着重介绍S2E的架构,插件的使用实例,并结合实例分析S2E的并行性能。
|
| 关 键 词： | S2E 软件测试 漏洞挖掘 Qemu虚拟机 并行性能分析 |
Analysis of the Software Testing Platform:S2E |
| |
| WANG Xue , LI Xue-xin , ZHOU Zhi-peng , YUAN Yao-wen. Analysis of the Software Testing Platform:S2E[J]. Netinfo Security, 2012, 0(7): 16-19 |
| |
| Authors: | WANG Xue LI Xue-xin ZHOU Zhi-peng YUAN Yao-wen |
| |
| Affiliation: | 1.Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China;2.Unit 95837,Beijing 100093,China) |
| |
| Abstract: | The S2E is an open source software testing platform which based on Qemu virtual machine,KLEE and LLVM.It’s major advantaged abilities as follow:whole system control,multiplatform analyze and run with multicore.It’s very meaningful for software testing and vulnerability exploitation to analyze this platform. |
| |
| Keywords: | selective symbolic execution software testing vulnerability exploitation qemu performance analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
