paperbot · PL 论文追踪

全部论文 待读 收藏

P2 HTFuzz: Heap Operation Sequence Sensitive Fuzzing

HTFuzz:堆操作序列敏感的模糊测试
ASE Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering2022匹配度 2/10 · 该论文属于传统模糊测试与动态程序分析,关注堆操作序列反馈以发现堆时序漏洞,但未涉及 LLM/Agent、静态分析、浮点程序分析或贝叶斯程序分析等用户核心交叉方向,因此与研究画像关联较弱。引用 15 inbox
Yuanping Yu, Xiangkun Jia, Yuwei Liu, Yanhao Wang, Qian Sang, Chao Zhang, Purui Su
crossref: 2026-09-12

AI 速览

一句话:提出HTFuzz,通过集成堆操作序列反馈来引导模糊测试,高效发现堆时序漏洞。

基于堆的时序漏洞(如释放后使用、双重释放、空指针解引用)对堆操作序列高度敏感,传统代码覆盖率引导的模糊测试难以有效触发此类漏洞。现有序列敏感方案在实践中存在局限。本文提出 HTFuzz,将堆操作序列反馈整合到模糊测试中,通过设计序列反馈机制来引导测试用例生成,以更高效地探索可能触发时序漏洞的堆操作序列。摘要未提供具体评估结果,但该工作旨在克服现有方法的不足,提升堆时序漏洞的发现能力。

问题
堆时序漏洞对堆操作序列高度敏感,传统覆盖率引导的模糊测试难以有效触发,而现有序列敏感方案在实践中存在局限。
方法
提出 HTFuzz,将堆操作序列反馈集成到模糊测试中,引导测试用例生成以覆盖更多样的堆操作序列。
评估
摘要未提供具体评估方式与结果,但论文旨在通过集成堆操作序列反馈来提升漏洞发现效率。
原文摘要(Abstract)

Heap-based temporal vulnerabilities (i.e., use-after-free, double-free and null pointer dereference) are highly sensitive to heap operation (e.g., memory allocation, deallocation and access) sequences. To efficiently find such vulnerabilities, traditional code coverage-guided fuzzing solutions could be promoted by integrating heap operation sequence feedback. But current sequence sensitive solutions have limitations in practice.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot7253,
  title = {HTFuzz: Heap Operation Sequence Sensitive Fuzzing},
  author = {Yuanping Yu and Xiangkun Jia and Yuwei Liu and Yanhao Wang and Qian Sang and Chao Zhang and Purui Su},
  booktitle = {ASE},
  year = {2022},
  doi = {10.1145/3551349.3560415}
}