期刊文献+

并行化模糊测试研究综述 被引量:1

Parallel fuzzing:a survey
下载PDF
导出
摘要 随着新一代网络信息技术的不断创新突破,软件从单机场景逐步扩展到移动终端、物联网设备、工业控制设备、云计算平台等新兴领域,推动了信息化基础设施建设的发展。然而,应用软件质量良莠不齐,给黑客组织提供了可乘之机。事件型漏洞和高危零H漏洞数量上升,如何高效准确地挖掘软件漏洞亟待解决。为实现漏洞的快速检测,模糊测试技术备受关注,它具有部署简单、自动化程度高、兼容性好等特点,能通过提供大量的输入样例实现对目标程序的脆弱性分析。现有的模糊测试通常在单处理器环境中执行,存在单个检测任务耗时长、计算资源利用率低、可持续能力差等缺陷。因此,并行化模糊测试一经提出便备受青睐。针对并行架构下的任务划分、数据存储、通信交互等问题,学术界和工业界对其展开了深入分析,并设计了一系列的实现方法。为此,系统地总结了当前模糊测试面临的挑战,概述了当前阶段模糊测试的并行化需求,着重比较分析了现存并行化模糊测试方案的优势和不足,并对高性能计算场景下并行化模糊测试的未来趋势进行了展望。 With continuous innovation and breakthroughs in the new generation of network information technology,the software system has gradually extended from stand-alone scena­rios to mobile terminals>Internet of Things devices,industrial control equipment?cloud computing platforms,and other emerging areas,promoting the development of information technology infrastructure construction.However,the software applications are of varying quality,making them vulnerable to attacks from hacker organizations.It is highly demanded to mine software vulnerabilities efficiently and accurately due to the increasing number of event-based vulnerabilities and high-risk zero-day vulnerabilities.To detect vulnerabilities quickly,fuzzing has attracted much attention.It finds bugs by repeatedly injecting mutated inputs to a target program with the benefit of simple deployment,high automation and compatibility.However,existing fuzzing tests are usually performed in a single-processor environment,which suffers from significant time overhead,low computational resource utilization,and poor sustainability.Therefore,parallel fuzzing has been proposed and gained much attention.Academia and industry have launched an in-depth research on parallel fuzzing and designed a series of methods for task division,data storage,and communication interaction under the parallel architecture.This work systematically summarized current challenges in fuzzing process,scientifically outlined the needs of parallel fuzzing,then focused on comparing and analyzing the advantages and disadvantages o£each parallel fuzzing scheme.In the end,this work prospected for the future trend of parallel fuzzing in high-performance computing scenarios.
作者 张旭鸿 梁红 夏亦凡 蒲誉文 纪守领 ZHANG Xuhong;LIANG Hong;XIA Yifan;PU Yuwen;JI Shouling(School of Software Technology,Zhejiang University,Ningbo 315048,China;College of Computer Science and Technology,Zhejiang University,Hangzhou 310007,China;School of Cyber Science and Engineering,Huazhong University of Science and Technology,Wuhan 430040,China)
出处 《信息对抗技术》 2022年第1期24-42,共19页 Information Countermeasures Technology
关键词 软件测试 模糊测试 漏洞检测 并行计算 software testing fuzzing vulnerability detection parallel computing
  • 相关文献

参考文献5

二级参考文献15

  • 1Godefroid P,Levin M Y,Molnar D.Automated white-box fuzz testing[C]//Proceedings of the 10th International Conference on Network and Distributed System Security Symposium.San Diego,USA:Schloss Dagstuhl,2008:201-213.
  • 2Campana G.Fuzzgrind:An automatic fuzzing tool[Z/OL].(2013-09-12),http://esec-lab.sogeti.com/pages/Fuzzgrind.
  • 3Molnar D,Wagner D.Catchconv:Symbolic Execution and Run-Time Type Inference for Integer Conversion Errors,Technical Report No.UCB/EECS-2007-23[R].Berkeley,USA:University of California at Berkeley,2007.
  • 4Isaev I,Sidorov D.The use of dynamic analysis for generation of input data that demonstrates critical bugs and vulnerabilities in programs[J].Programming and Computing Software,2010,36(4):225-236.
  • 5Clause J,LI Wanchun,Orso A.Dytan:A generic dynamic taint analysis framework[C]//Proceedings of the International Symposium on Software Testing and Analysis.New York,USA:The Association for Computing Machinery Press,2007:196-206.
  • 6Drewry W,Ormandy T.Flayer:Exposing application internals[C]//Proceedings of the 1st USENIX Workshop on Offensive Technologies.Berkeley,USA:USENIX Association,2007:1-9.
  • 7Schwartz E J,Avgerinos T,Brumley D.All you ever wanted to know about dynamic taint analysis and forward symbolic execution[C]//Proceedings of the 2010IEEE Symposium on Security and Privacy.Washington DC,USA:IEEE Computer Society,2010:317-331.
  • 8Sen K,Marinov D,Agha G.CUTE:A Concolic unit testing engine for C[C]//Proceedings of the 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering.New York,USA:The Association for Computing Machinery Press,2005:263-272.
  • 9King J C.Symbolic execution and program testing[J].Communications of the ACM,1976,19(7):385-394.
  • 10Nethercote N,Valgrind S J.A framework for heavy weight dynamic binary instrumentation[C]//Proceedings of the2007ACM SIGPLAN Conference on Programming Language Design and Implementation.New York,USA:The Association for Computing Machinery Press,2007:89-100.

共引文献22

同被引文献3

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部