{"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.
期刊介绍:
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.