The Impact of Magma: A Ground-Truth Fuzzing Benchmark
Magma 是一个开源、基于地面真值（ground-truth）的模糊测试基准测试工具，旨在为模糊测试器的评估和比较提供统一的标准。该基准最初于 2021 年 ACM SIGMETRICS 会议上随研究论文发布，本文作为一篇短文，阐述了 M
#fuzzing
共收录 126 条相关情报。
← 返回所有主题NeuronFuzz: Safety Neuron Guided Fuzzing for LLM Safety Evaluation
论文提出 NeuronFuzz，一个面向大语言模型（LLM）安全评估的白盒模糊测试框架。现有自动化越狱测试方法主要依赖响应级反馈：每个候选提示都需要目标模型生成完整回复才能评估攻击效果，这不仅计算开销大，而且在强对齐模型上反馈极其稀疏——大
CountDown: Refcount-guided Fuzzing for Exposing Temporal Memory Errors in Linux Kernel.
本文针对 Linux 内核中由引用计数使用不当引发的释放后使用（UAF）漏洞提出了一种新的模糊测试方法。作者首先统计发现，近期内核 UAF 漏洞中约有 36.1% 与引用计数操作错误相关，此类漏洞根因复杂且可利用性高，对系统安全构成严重威胁
FuzzingBrain-Bench V1: Evaluating Open-Ended Bug Discovery by LLMs
大型语言模型（LLM）在软件漏洞发现中的应用日益受到关注，但现有评估基准通常要求模型生成针对预定义目标的 PoC 输入，这种方式可能忽略模型发现的、与预期目标不一致但确属有效的崩溃，从而低估模型真实能力。针对这一问题，本文提出了 Fuzzi
LOKI: State-Aware Fuzzing Framework for the Implementation of Blockchain Consensus Protocols.
区块链共识协议负责协调多个节点对交易结果达成一致，其实现中的缺陷（包括内存错误和共识逻辑漏洞）可能构成严重威胁。模糊测试（Fuzzing）是发现协议漏洞的有效技术，但现有模糊测试工具在面对分布式节点的复杂共识状态时存在明显不足：它们无法理解
Protocol-Aware Firmware Rehosting for Effective Fuzzing of Embedded Network Stacks.
嵌入式系统的网络接口是其主要攻击面之一，但与传统通用系统不同，嵌入式系统使用专用且多样化的通信协议栈。当前针对嵌入式网络栈的安全评估方法通常依赖人工操作或物理硬件，且只关注系统的局部。固件重宿主（firmware rehosting）作为替
Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities.
论文《Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities》介绍了一种名为 Atropos 的模糊测试技术，旨在高效发现 Web 应用中
Lessons from the Hardware Hacking Competitions: Verification Techniques, Findings, and Insights
本文系统研究了硬件黑客竞赛在复杂片上系统（SoC）安全验证中的应用。随着SoC设计复杂度不断提升，传统验证方法难以覆盖所有安全漏洞，硬件黑客竞赛成为一种实用化的安全评估平台，能够促进安全意识验证和工具开发。作者提出了一种多策略漏洞分析方法，
Hopper: Interpretative Fuzzing for Libraries.
该论文提出 HOPPER，一种无需领域知识即可对库进行模糊测试的解释性模糊测试工具。现有模糊测试工具通常需要手动构造模糊驱动（fuzz driver），其质量取决于开发者的代码理解，而自动生成驱动的方法又受限于已学习代码的调用序列。HOPP
Differential analysis of x86-64 instruction decoders.
本文研究如何将差分模糊测试（differential fuzzing）应用于 x86-64 指令解码器的错误发现。传统模糊测试依赖崩溃、挂起或内存访问错误作为 oracle，而差分模糊测试将同一输入在不同实现之间的行为差异作为潜在错误信号。
PILOT: Command-Line Interface Fuzzing Via Path-Guided, Iterative Large Language Model Prompting.
该论文提出了一种名为 PILOT 的新型命令行界面（CLI）模糊测试框架。CLI 模糊测试通过同时变异命令行选项和输入文件内容来测试程序，从而发现仅在特定选项与输入组合下才会触发的深层漏洞。然而，现有 CLI 模糊测试方法在生成语义丰富的选
A Comprehensive Memory Safety Analysis of Bootloaders.
引导加载程序（bootloader）在系统启动流程中扮演关键角色，它连接固件与操作系统，负责验证并加载操作系统镜像，是安全启动链的核心环节。一旦bootloader存在漏洞，攻击者可能绕过安全启动机制，在系统启动早期植入恶意代码。近年来，随
No Linux, No Problem: Fast and Correct Windows Binary Fuzzing via Target-embedded Snapshotting.
本文针对Windows平台二进制程序模糊测试中常见的性能瓶颈与兼容性问题，提出一种名为“目标嵌入式快照”（Target-embedded Snapshotting）的新方法。传统模糊测试通常依赖Linux环境下的进程快照/恢复机制，而在Wi
WINNIE : Fuzzing Windows Applications with Harness Synthesis and Fast Cloning.
该论文提出名为 WINNIE 的模糊测试框架，专门针对 Windows 平台上的应用程序。研究背景指出，现有模糊测试工作大多集中在 Unix 类系统，因为 Windows 在模糊测试方面存在独特挑战：闭源生态导致难以进行插桩和覆盖率反馈，图
SpecTrum: Specification-Guided Differential Fuzzing for Ethereum Consensus Clients
以太坊的共识安全依赖于多个独立实现的共识客户端在每个状态转换上保持一致。若实现差异导致分歧，网络可能分叉、最终性停滞，并引发严重攻击。为防止此类共识分歧，以太坊提供了 Python 参考实现（consensus-spec）作为规范，并附带手
Effective Directed Fuzzing with Hierarchical Scheduling for Web Vulnerability Detection.
本论文聚焦于Web漏洞检测中的定向模糊测试（Directed Fuzzing）问题，提出了一种基于层次化调度的有效方法。传统模糊测试通常盲目地探索程序状态，效率低下；而定向模糊测试则试图引导输入生成过程，使其更快地到达潜在漏洞点。论文的核心
FuzzBT: Holistic-State-Guided Fuzzing for Bluetooth Host Stack in Kernels.
该论文提出 FuzzBT，一种面向内核中蓝牙主机栈的、以整体状态引导的模糊测试方法。蓝牙协议栈在现代操作系统内核中广泛存在，且暴露于不可信蓝牙流量，是安全攻击的重要面。现有模糊测试工具往往仅关注单个协议层或孤立的状态，难以有效覆盖跨层、跨连
Stateful Greybox Fuzzing.
本论文针对协议实现这类反应式系统中的状态相关（stateful）缺陷的模糊测试难题，提出了一种无需协议形式化规范即可自动识别状态变量并引导状态空间覆盖的灰盒模糊测试方法。作者观察到，在Top-50最广泛使用的开源协议实现中，所有实现都使用枚
Squeezing Juicy Variant Bugs Out of Modern Browsers.
本论文（arXiv 预印本）围绕现代浏览器中的“变体漏洞”（variant bugs）挖掘问题展开。变体漏洞是指同一根本缺陷在不同代码路径或不同组件中的衍生表现形式，通常由补丁不完整或修复不彻底导致。论文由 Han Zheng、Flavio
LLFuzz: An Over-the-Air Dynamic Testing Framework for Cellular Baseband Lower Layers.
本文提出 LLFuzz，一个针对蜂窝基带低层（如物理层、MAC层）的空中（over-the-air）动态测试框架。基带芯片是移动设备中处理蜂窝通信的关键组件，其低层协议栈通常运行在专用实时操作系统上，且与上层应用隔离，传统基于主机的模糊测试