信息网络安全
信息網絡安全
신식망락안전
NETINFO SECURITY
2012年
7期
16-19
,共4页
王学%李学新%周智鹏%袁耀文
王學%李學新%週智鵬%袁耀文
왕학%리학신%주지붕%원요문
S2E%软件测试%漏洞挖掘%Qemu虚拟机%并行性能分析
S2E%軟件測試%漏洞挖掘%Qemu虛擬機%併行性能分析
S2E%연건측시%루동알굴%Qemu허의궤%병행성능분석
S2E是一款开源的基于Qemu虚拟机并结合KLEE以及LLVM的软件安全测试平台,其主要优越性体现为:支持全系统控制;支持多平台分析;支持多核以提高分析效率.分析研究该平台,对软件测试、漏洞挖掘都具有现实意义.S2E的成功得益于对符号执行、动态二进制翻译和虚拟机技术的运用.文章着重介绍S2E的架构,插件的使用实例,并结合实例分析S2E的并行性能.
S2E是一款開源的基于Qemu虛擬機併結閤KLEE以及LLVM的軟件安全測試平檯,其主要優越性體現為:支持全繫統控製;支持多平檯分析;支持多覈以提高分析效率.分析研究該平檯,對軟件測試、漏洞挖掘都具有現實意義.S2E的成功得益于對符號執行、動態二進製翻譯和虛擬機技術的運用.文章著重介紹S2E的架構,插件的使用實例,併結閤實例分析S2E的併行性能.
S2E시일관개원적기우Qemu허의궤병결합KLEE이급LLVM적연건안전측시평태,기주요우월성체현위:지지전계통공제;지지다평태분석;지지다핵이제고분석효솔.분석연구해평태,대연건측시、루동알굴도구유현실의의.S2E적성공득익우대부호집행、동태이진제번역화허의궤기술적운용.문장착중개소S2E적가구,삽건적사용실례,병결합실례분석S2E적병행성능.