Better Pay Attention Whilst Fuzzing

模糊测试 计算机科学 字节 瓶颈 块(置换群论) 人工智能 机器学习 编码(集合论) 程序设计语言 软件 数学 几何学 嵌入式系统 集合(抽象数据类型)
作者
Shunkai Zhu,Jingyi Wang,Jun Sun,Jie Yang,Xingwei Lin,Tianyi Wang,Liyi Zhang,Peng Cheng
出处
期刊:IEEE Transactions on Software Engineering [Institute of Electrical and Electronics Engineers]
卷期号:: 1-18
标识
DOI:10.1109/tse.2023.3338129
摘要

Fuzzing is one of the prevailing methods for vulnerability detection. However, even state-of-the-art fuzzing methods become ineffective after some period of time, i.e., the coverage hardly improves as existing methods are ineffective to focus the attention of fuzzing on covering the hard-to-trigger program paths. In other words, they cannot generate inputs that can break the bottleneck due to the fundamental difficulty in capturing the complex relations between the test inputs and program coverage. In particular, existing fuzzers suffer from the following main limitations: 1) lacking an overall analysis of the program to identify the most “rewarding” seeds, and 2) lacking an effective mutation strategy which could continuously select and mutates the more relevant “bytes” of the seeds. In this work, we propose an approach called ATT UZZ to address these two issues systematically. First, we propose a lightweight dynamic analysis technique that estimates the “reward” of covering each basic block and selects the most rewarding seeds accordingly. Second, we mutate the selected seeds according to a neural network model which predicts whether a certain “rewarding” block will be covered given certain mutations on certain bytes of a seed. The model is a deep learning model equipped with an attention mechanism which is learned and updated periodically whilst fuzzing. Our evaluation shows that ATT UZZ significantly outperforms 5 state-of-the-art grey-box fuzzers on 6 popular real-world programs and MAGMA data sets at achieving higher edge coverage and finding new bugs. In particular, ATT UZZ achieved 1.2X edge coverage and 1.8X bugs detected than AFL ++ over 24-hour runs. In addition, ATT UZZ also finds 4 new bugs in the latest version of some popular software including p7zip and openUSD.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
PrayOne完成签到 ,获得积分10
2秒前
喜悦的明辉完成签到 ,获得积分10
2秒前
12366666完成签到,获得积分10
3秒前
休亮完成签到,获得积分10
4秒前
clearlove完成签到 ,获得积分10
4秒前
SOLOMON应助HP采纳,获得10
6秒前
神介.Tzx发布了新的文献求助10
7秒前
领导范儿应助lbt1686666采纳,获得10
8秒前
9秒前
文瑄完成签到 ,获得积分10
10秒前
ss关闭了ss文献求助
11秒前
Ampace小老弟完成签到 ,获得积分10
12秒前
甄无敌发布了新的文献求助10
14秒前
peter完成签到,获得积分10
16秒前
weiyashu完成签到 ,获得积分10
20秒前
SOLOMON应助HP采纳,获得10
24秒前
丘比特应助乔乔采纳,获得10
25秒前
研友_842aln完成签到,获得积分10
32秒前
栗子完成签到,获得积分10
32秒前
向阳葵完成签到 ,获得积分10
32秒前
秋雪瑶应助Grace采纳,获得10
39秒前
学术小小生完成签到,获得积分20
42秒前
JUGG完成签到,获得积分10
42秒前
SOLOMON应助HP采纳,获得10
45秒前
悦耳亦云完成签到 ,获得积分10
48秒前
Creator12345666完成签到 ,获得积分10
49秒前
丹丹完成签到 ,获得积分10
50秒前
ss发布了新的文献求助10
53秒前
ira完成签到,获得积分10
56秒前
ss完成签到,获得积分10
1分钟前
重启完成签到 ,获得积分10
1分钟前
SOLOMON应助HP采纳,获得10
1分钟前
1分钟前
Yann完成签到 ,获得积分10
1分钟前
1分钟前
wwl完成签到,获得积分10
1分钟前
SH完成签到,获得积分10
1分钟前
Denning完成签到,获得积分10
1分钟前
Danielle完成签到 ,获得积分10
1分钟前
高分求助中
请在求助之前详细阅读求助说明!!!! 20000
Sphäroguß als Werkstoff für Behälter zur Beförderung, Zwischen- und Endlagerung radioaktiver Stoffe - Untersuchung zu alternativen Eignungsnachweisen: Zusammenfassender Abschlußbericht 1500
One Man Talking: Selected Essays of Shao Xunmei, 1929–1939 1000
Yuwu Song, Biographical Dictionary of the People's Republic of China 700
[Lambert-Eaton syndrome without calcium channel autoantibodies] 520
The Three Stars Each: The Astrolabes and Related Texts 500
A radiographic standard of reference for the growing knee 400
热门求助领域 (近24小时)
化学 材料科学 医学 生物 有机化学 工程类 生物化学 纳米技术 物理 内科学 计算机科学 化学工程 复合材料 遗传学 基因 物理化学 催化作用 电极 光电子学 量子力学
热门帖子
关注 科研通微信公众号,转发送积分 2468905
求助须知:如何正确求助?哪些是违规求助? 2136223
关于积分的说明 5442926
捐赠科研通 1860799
什么是DOI,文献DOI怎么找? 925477
版权声明 562694
科研通“疑难数据库(出版商)”最低求助积分说明 495093