paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Crossover in Parametric Fuzzing

参数化模糊测试中的交叉
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 该论文属于软件测试领域的参数化模糊测试,聚焦于利用动态执行信息改进交叉算子,与用户关注的静态分析、LLM/Agent 交叉、浮点程序分析和贝叶斯程序分析等方向没有直接关联。引用 5 inbox
Katherine Hough, Jonathan Bell
crossref: 2026-09-12

AI 速览

一句话:提出 linked crossover,利用动态执行信息对齐并交换参数序列的对应片段,提升参数化模糊测试的输入生成效果。

参数化模糊测试结合进化式与生成式模糊测试,用于构造能触发独特执行行为的结构化测试输入。其内部将输入表示为称为「参数序列」的位串,模糊器保存有价值的参数序列并通过扰动生成新输入,无需类型特定算子。然而现有参数化模糊测试只使用变异算子(仅修改单个输入),没有引入将多个输入混合的进化算子——交叉。交叉本应组合多个输入的优势特征,但参数化模糊测试的特性限制了传统交叉算子的有效性。本文提出 linked crossover,利用动态执行信息识别并交换参数序列中相互对应的部分。作者为 Java 实现了该交叉算子,评估了其保留优势特征的能力,并在 7 个真实 Java 项目上考察其对模糊器性能的影响。结果表明,在长、短两类模糊测试周期中,linked crossover 的表现始终不劣于或优于三个最先进的参数化模糊器以及另外两种交叉形式。

问题
参数化模糊测试仅依赖变异算子,缺乏能组合多个输入优势特征的交叉算子,而传统交叉因参数序列的语义错位在参数化模糊测试中效果受限。
方法
提出 linked crossover,利用动态执行信息识别参数序列中相互对应的片段并进行交换,从而在参数化表示下实现有意义的交叉;并在 Java 上实现该算子。
评估
在 7 个真实 Java 项目上评估其保留优势特征的能力,并与三个最先进的参数化模糊器及两种其他交叉形式在长、短模糊测试周期下进行对比。
原文摘要(Abstract)

Parametric fuzzing combines evolutionary and generator-based fuzzing to create structured test inputs that exercise unique execution behaviors. Parametric fuzzers internally represent inputs as bit strings referred to as "parameter sequences". Interesting parameter sequences are saved by the fuzzer and perturbed to create new inputs without the need for type-specific operators. However, existing work on parametric fuzzing only uses mutation operators, which modify a single input; it does not incorporate crossover, an evolutionary operator that blends multiple inputs together. Crossover operators aim to combine advantageous traits from multiple inputs. However, the nature of parametric fuzzing limits the effectiveness of traditional crossover operators. In this paper, we propose linked crossover, an approach for using dynamic execution information to identify and exchange analogous portions of parameter sequences. We created an implementation of linked crossover for Java and evaluated linked crossover's ability to preserve advantageous traits. We also evaluated linked crossover's impact on fuzzer performance on seven real-world Java projects and found that linked crossover consistently performed as well as or better than three state-of-the-art parametric fuzzers and two other forms of crossover on both long and short fuzzing campaigns.

链接与引用

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

BibTeX
@inproceedings{paperbot11356,
  title = {Crossover in Parametric Fuzzing},
  author = {Katherine Hough and Jonathan Bell},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639160}
}