检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:邹燕燕[1,2] 邹维 尹嘉伟[1,2] 霍玮 杨梅芳 孙丹丹[1,2] 史记 ZOU Yanyan;ZOU Wei;YIN Jiawei;HUO Wei;YANG Meifang;SUN Dandan;SHI Ji(Institute of Information Engineering,Chinese Academy of Sciences,Beijing 100093,China;School of Cyber Security,University of Chinese Academy of Sciences,Beijing 100049,China)
机构地区:[1]中国科学院信息工程研究所,北京100093 [2]中国科学院大学网络空间安全学院,北京100049
出 处:《信息安全学报》2020年第5期1-16,共16页Journal of Cyber Security
基 金:中国科学院网络测评技术重点实验室和网络安全防护技术北京市重点实验室资助;中国科学院重点实验室基金项目(No.CXJJ-17S049)资助;国家重点研发计划项目(No.2016QY071405)资助。
摘 要:模糊测试(fuzzing)具备自动化程度高、可重现性好及易扩展等特点,是软件漏洞挖掘的有效方法之一。针对其固有的测试盲目性和低效性,一批先进的灰盒模糊测试方法被提出并应用在AFL、AFLFast、Vuzzer等工具中。随着高性能芯片和云计算技术的发展,模糊测试可以充分利用其中蕴含的丰富并行计算能力、通过多实例并行的手段进一步提高单位时间内的综合测试效率,典型的代表如Xu等人提出的多核并行方法、谷歌的ClusterFuzz等。但现有并行模糊测试方法,由于不同测试实例在测试用例生成过程中缺少有效的控制,导致生成的畸形样本冗余高、测试综合覆盖率低等问题。针对该问题,本文提出了一种有效控制多测试实例间模糊测试过程的方案,该方案以变异策略为基本粒度进行并行化,定期同步不同测试实例间的有效畸形样本和优化变异策略应用比例,减少不同测试实例间的测试冗余,提高测试综合覆盖率。本文实现了一个变异策略感知的并行模糊测试框架,并选择AFL作为基本模糊测试器,使用5款开源软件及LAVA-M测试集的实验结果表明,相同测试时间内本文的方法比AFL默认调度方法提高目标覆盖率达132%、发现异常数量最多提高50余倍。Fuzzing has become one of the most effective methods for mining software vulnerabilities due to its high degree of automation,high reproducibility,and good scalability.For its inherent test blindness and inefficiency,a number of advanced grey-box fuzzing approaches have been proposed and applied in AFL,AFLFast,Vuzzer and other tools.As the development of high-performance chips and cloud computing technologies,fuzz testing can make full use of the rich parallel computing capabilities contained therein and further improve the test efficiency through multi-instance parallelism.Typical representatives are Xu’s multi-core parallel fuzzing method,Google’s ClusterFuzz.However,the existing parallel fuzzing methods have problems such as high repetition rate of the deformed samples generated and low comprehensive test coverage due to the lack of effective control among different instances.Aiming at this problem,we first propose a scheme for effectively controlling the fuzz testing process among multiple instances.It parallelizes the mutation strategies as the basic granularity,regularly synchronizes the effective samples between different instances and optimizes the application ratio of the mutation strategy,reduces the test repeatability between different instances,and improves the coverage rate.We design and implement a parallel fuzzing framework which leverages AFL as the basic fuzzer,and evaluations using 5 popular applications and LAVA-M dataset,showed that,compared to default parallel fuzzing,our framework can improve test coverage rate up to 132%,and the number of crashes triggered increases as high as 50 times.
分 类 号:TP309[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117