HF-DGF: Hybrid Feedback Guided Directed Grey-Box Fuzzing

IF 6 1区 计算机科学 Q1 COMPUTER SCIENCE, SOFTWARE ENGINEERING
IEEE Transactions on Software Engineering Pub Date : 2026-09-01 Epub Date: 2026-06-08 DOI:10.1109/TSE.2026.3701683
Guangfa Lyu;Zhenzhong Cao;Xiaofei Ren;Fengyu Wang
{"title":"HF-DGF: Hybrid Feedback Guided Directed Grey-Box Fuzzing","authors":"Guangfa Lyu;Zhenzhong Cao;Xiaofei Ren;Fengyu Wang","doi":"10.1109/TSE.2026.3701683","DOIUrl":null,"url":null,"abstract":"Directed Grey-box Fuzzing (DGF) is widely used for crash reproduction and patch testing because it can steer execution toward predefined target locations. However, existing DGF tools often rely on limited runtime feedback, which weakens both target convergence and target-state exploration. This paper presents <b> <small>HF-DGF</small> </b>, a directed grey-box fuzzing framework with hybrid feedback-guided seed scheduling. <b> <small>HF-DGF</small> </b> integrates control-flow distance, value-flow influence score, and slice coverage. For precise distance guidance, we design a backward-stepping algorithm that computes basic-block-level distances on a virtual interprocedural control-flow graph (ICFG). For deeper target-state exploration, we introduce value-flow influence and its corresponding metric, the value-flow influence score. To control the runtime cost introduced by hybrid feedback, we further adopt a selective instrumentation strategy. Evaluation on 41 real-world vulnerabilities (32 valid for comparative analysis) shows that <b> <small>HF-DGF</small> </b> consistently outperforms existing tools. On average, it reproduces crashes 5.05<inline-formula> <tex-math>$\\mathbf{\\times}$</tex-math> </inline-formula> faster than AFL, 50.56<inline-formula> <tex-math>$\\mathbf{\\times}$</tex-math> </inline-formula> faster than AFL<inline-formula> <tex-math>${+}{+}$</tex-math> </inline-formula>, 5.79<inline-formula> <tex-math>$\\mathbf{\\times}$</tex-math> </inline-formula> faster than AFLGo, 73.75<inline-formula> <tex-math>$\\mathbf{\\times}$</tex-math> </inline-formula> faster than WindRanger, 2.56<inline-formula> <tex-math>$\\mathbf{\\times}$</tex-math> </inline-formula> faster than DAFL, and 8.45<inline-formula> <tex-math>$\\mathbf{\\times}$</tex-math> </inline-formula> faster than Beacon. Notably, among cases where all fuzzers trigger the target crash, <b> <small>HF-DGF</small> </b> achieves the lowest code coverage, indicating stronger directionality. It also outperforms AFLGo, WindRanger, DAFL, and Beacon in static-analysis efficiency.","PeriodicalId":13324,"journal":{"name":"IEEE Transactions on Software Engineering","volume":"52 9","pages":"2638-2653"},"PeriodicalIF":6.0000,"publicationDate":"2026-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Software Engineering","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/11554338/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/6/8 0:00:00","PubModel":"Epub","JCR":"Q1","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0

Abstract

Directed Grey-box Fuzzing (DGF) is widely used for crash reproduction and patch testing because it can steer execution toward predefined target locations. However, existing DGF tools often rely on limited runtime feedback, which weakens both target convergence and target-state exploration. This paper presents HF-DGF , a directed grey-box fuzzing framework with hybrid feedback-guided seed scheduling. HF-DGF integrates control-flow distance, value-flow influence score, and slice coverage. For precise distance guidance, we design a backward-stepping algorithm that computes basic-block-level distances on a virtual interprocedural control-flow graph (ICFG). For deeper target-state exploration, we introduce value-flow influence and its corresponding metric, the value-flow influence score. To control the runtime cost introduced by hybrid feedback, we further adopt a selective instrumentation strategy. Evaluation on 41 real-world vulnerabilities (32 valid for comparative analysis) shows that HF-DGF consistently outperforms existing tools. On average, it reproduces crashes 5.05 $\mathbf{\times}$ faster than AFL, 50.56 $\mathbf{\times}$ faster than AFL ${+}{+}$ , 5.79 $\mathbf{\times}$ faster than AFLGo, 73.75 $\mathbf{\times}$ faster than WindRanger, 2.56 $\mathbf{\times}$ faster than DAFL, and 8.45 $\mathbf{\times}$ faster than Beacon. Notably, among cases where all fuzzers trigger the target crash, HF-DGF achieves the lowest code coverage, indicating stronger directionality. It also outperforms AFLGo, WindRanger, DAFL, and Beacon in static-analysis efficiency.
HF-DGF:混合反馈引导定向灰盒模糊
定向灰盒模糊(DGF)广泛用于崩溃再现和补丁测试,因为它可以引导执行到预定义的目标位置。然而,现有的DGF工具往往依赖于有限的运行时反馈,这削弱了目标收敛和目标状态探索。提出了一种带有混合反馈引导种子调度的定向灰盒模糊框架HF-DGF。HF-DGF集成了控制流距离、价值流影响评分和切片覆盖。为了精确的距离引导,我们设计了一种后退算法,该算法在虚拟程序间控制流图(ICFG)上计算基本块级距离。为了更深入地探索目标状态,我们引入了价值流影响及其相应的度量,即价值流影响评分。为了控制混合反馈带来的运行成本,我们进一步采用了选择性检测策略。对41个真实世界漏洞(32个有效的比较分析)的评估表明,HF-DGF始终优于现有工具。平均而言,它再现崩溃的速度比AFL快5.05 $\mathbf{\times}$,比AFL ${+}{+}$快50.56 $\mathbf{\times}$,比AFLGo快5.79 $\mathbf{\times}$,比WindRanger快73.75 $\mathbf{\times}$,比DAFL快2.56 $\mathbf{\times}$,比Beacon快8.45 $\mathbf{\times}$。值得注意的是,在所有模糊器触发目标崩溃的情况下,HF-DGF实现了最低的代码覆盖率,表明更强的方向性。它在静态分析效率方面也优于AFLGo、WindRanger、DAFL和Beacon。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering 工程技术-工程:电子与电气
CiteScore
9.70
自引率
10.80%
发文量
724
审稿时长
6 months
期刊介绍: IEEE Transactions on Software Engineering seeks contributions comprising well-defined theoretical results and empirical studies with potential impacts on software construction, analysis, or management. The scope of this Transactions extends from fundamental mechanisms to the development of principles and their application in specific environments. Specific topic areas include: a) Development and maintenance methods and models: Techniques and principles for specifying, designing, and implementing software systems, encompassing notations and process models. b) Assessment methods: Software tests, validation, reliability models, test and diagnosis procedures, software redundancy, design for error control, and measurements and evaluation of process and product aspects. c) Software project management: Productivity factors, cost models, schedule and organizational issues, and standards. d) Tools and environments: Specific tools, integrated tool environments, associated architectures, databases, and parallel and distributed processing issues. e) System issues: Hardware-software trade-offs. f) State-of-the-art surveys: Syntheses and comprehensive reviews of the historical development within specific areas of interest.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书