删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

基于汤普森采样的模糊测试用例变异方法

本站小编 Free考研考试/2021-12-21
本文二维码信息
二维码（扫一下试试看！）
基于汤普森采样的模糊测试用例变异方法
Mutation Scheme for Fuzzing Based on Thompson Sampling
投稿时间：2019-10-10
DOI：10.15918/j.tbit1001-0645.2019.256
中文关键词:模糊测试AFL变异操作程序追踪
English Keywords:fuzzingAFL (American fuzzy lop)mutation operationprocessor trace
基金项目:国家重点研发计划资助项目（2016QY07X1404）
作者单位E-mail
马锐北京理工大学 计算机学院, 软件安全工程技术北京市重点实验室, 北京 100081mary@bit.edu.cn
贺金媛北京理工大学 计算机学院, 软件安全工程技术北京市重点实验室, 北京 100081
王雪霏北京理工大学 计算机学院, 软件安全工程技术北京市重点实验室, 北京 100081
王夏菁北京理工大学 计算机学院, 软件安全工程技术北京市重点实验室, 北京 100081
李斌斌北京理工大学 计算机学院, 软件安全工程技术北京市重点实验室, 北京 100081
胡昌振北京理工大学 计算机学院, 软件安全工程技术北京市重点实验室, 北京 100081
摘要点击次数:692
全文下载次数:256
中文摘要:
模糊测试是漏洞分析技术中的一项代表性技术，其通过生成一组测试用例来测试程序，并在执行过程中观测异常，从而查找错误或识别安全漏洞.AFL是当前一款主流的开源模糊器，本文在分析AFL的基础上，针对测试用例变异环节的变异操作选择方法进行改进，提出了一种基于汤普森采样的模糊测试用例自动化变异方法，并实现了工具TPSFuzzer，支持对二进制程序进行模糊测试.其主要思想是通过将模糊测试中变异操作选择问题转化为多臂赌博机问题，结合汤普森采样优化算法，在特定程序上自适应地学习变异操作的概率分布；同时将硬件程序追踪机制与AFL相结合，以辅助进行路径信息获取和变异操作选择，从而提高AFL的测试效率和路径覆盖率.本文选取LAVA数据集和两个真实二进制程序作为测试集，通过与PTFuzzer的对比实验分析得出，TPSFuzzer可以产生更高的代码覆盖率和更好的测试效率.
English Summary:
Fuzzing is one of the representative vulnerability detection technologies,which generates a set of inputs to test program,so as to find errors and identify security vulnerabilities during execution. Analyzing AFL (American fuzzy lop),a mainstream open-source fuzzer,and improving the selection method of mutation operators in the process of input mutation,this paper proposed TPSFuzzer,an automatically mutation approach of fuzzing based on Thompson sampling to support the fuzzing for binary program. The approach was designed to transform the selection of mutation operators in fuzzing into the problem of multi-armed bandit,and employ Thompson sampling optimization method to adaptively learn the probability distribution of mutation operators. Meanwhile,the proposed approach was arranged to utilize Intel processor trace mechanism to accurately collect path information and assist the selection of mutation operation,so that AFL could effectively discover more hard-to-trigger vulnerabilities. Compared with PTFuzzer,the experimental results on the LAVA data set and two real-world binaries show that TPSFuzzer can produce higher code coverage and achieve better fuzzing efficiency.
查看全文查看/发表评论下载PDF阅读器
相关话题/技术 测试 北京理工大学 安全工程 软件

Free考研考试FreeKaoYan.Com
欢迎来到Free考研考试，"为实现人生的Free而奋斗"

© 2020 FreeKaoYan! . All rights reserved.