SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
本论文是一篇针对硬件模糊测试(hardware fuzzing)的系统化知识综述(SoK)。作者指出,硬件模糊测试虽已成为安全验证研究中的活跃方向,但其工业界落地仍处于早期阶段,研究结论与实际部署之间存在明显断层。为厘清这一差距,论文系统考
#fuzzing
共收录 126 条相关情报。
← 返回所有主题State-Aware Fuzzing of JavaScript Engines with LLM-Guided Instrumentation
该论文聚焦于 JavaScript 引擎的安全测试难题。现代 Web 安全高度依赖 JS 引擎的正确性，而引擎本身结构复杂、长期存在高危缺陷。当前最先进的模糊测试器（fuzzer）面临一个关键瓶颈——覆盖度平台期（coverage plat
SyzHarness: Patch-Based Kernel Bug Reproduction with LLM-Synthesized Fuzzing Harnesses
本文针对 Linux 内核漏洞自动化复现这一长期难题提出 SyzHarness 框架。内核漏洞复现是缺陷分诊、补丁验证与回归测试的关键环节，但其实现有效且高效的自动化仍十分困难。作者指出核心挑战有两点：一是复现程序必须先恢复出能够到达脆弱状
SoK: From Finding to Deployment: Systematizing the OS Kernel Bug Lifecycle
本文是一篇系统化知识（SoK）论文，聚焦 Linux 内核缺陷从发现到部署的完整生命周期。背景是：近年来自动化内核缺陷发现能力快速提升，以 syzbot 为代表的持续模糊测试与静态分析系统，已能以远超下游处理能力的规模持续暴露 Linux
AIJon: Automated Generation of Annotations for Fuzzing
该论文关注模糊测试（fuzzing）中的反馈引导问题。当前主流 fuzzer 以代码覆盖率为反馈来指导探索，这一策略被证明有效，但它会忽略那些不产生新代码路径、却仍对目标程序有意义的输入。此前 IJON 研究显示，由人类领域专家编写的注解（
EchoFuzz: Empowering Smart Contract Fuzzing with Large Language Models
本文提出 EchoFuzz，一个由大语言模型（LLM）引导的智能合约模糊测试框架，旨在解决现有智能合约模糊测试中的两大瓶颈。背景方面：智能合约作为去中心化应用的基石，自主管理着规模达万亿美元级别的数字资产，因而成为攻击者的高价值目标，漏洞检
Robustness-Aware Evaluation and Enhancement of Mutation-Based Fuzzing for Bug Discovery
变异模糊测试（mutation-based fuzzing）是软件安全中广泛使用的漏洞发现技术，但由于其随机性，对它的结果进行严格评估和复现存在困难。现有工作通常通过经验性测量来刻画这种随机性，但缺乏理论上的收敛性与样本复杂度保证，导致评估
BrakTooth: Causing Havoc on Bluetooth Link Manager via Directed Fuzzing.
BrakTooth是新加坡科技设计大学等机构的研究者针对蓝牙经典(BR/EDR)协议栈中Link Manager(LM)层开发的一种定向模糊测试框架。蓝牙无线协议应用广泛，但底层协议栈常由厂商自行实现，复杂度高，导致安全测试覆盖严重不足，尤
Regression Greybox Fuzzing.
该论文基于对 OSSFuzz 平台生成的所有模糊测试（fuzzing）漏洞报告的实证研究，发现约 77%（23k 个漏洞中的 4/5）是由最近的代码变更引入的回归缺陷（regression bugs）。新项目在初始阶段每天会出现 2-3 个
Web Application Vulnerability Repair Via Context-Aware Fault Localization and Directed Differential Fuzzing.
本文针对Web应用程序漏洞修复过程中存在的关键挑战：漏洞定位困难、修复补丁可能引入新问题或修复不完整等。作者提出了一种结合上下文感知的故障定位（Context-Aware Fault Localization）与定向差异模糊测试（Direc
SmuFuzz: Enable Deep System Management Mode Fuzzing in Fully Featured UEFI Runtime Environment.
本文提出 SmuFuzz，一个面向闭源厂商固件中 System Management Mode (SMM) 应用的模糊测试框架，旨在解决现有 SMM 模糊测试缺少完整 UEFI 运行时环境的问题。在 UEFI 标准下，x86 处理器上的 S
Facilitating Vulnerability Assessment through PoC Migration.
该论文针对漏洞报告中软件受影响版本信息不完整的问题展开研究。作者指出，即使是由 MITRE/NIST 归档的漏洞报告，也常常缺少某些易受攻击的软件版本信息，导致使用这些未报告版本的用户面临风险。为此，他们提出了一种基于模糊测试（fuzzin
Morphuzz: Bending (Input) Space to Fuzz Virtual Devices.
Morphuzz 是一篇关于虚拟设备模糊测试的学术论文。研究背景是：QEMU 等模拟器中的虚拟设备（如网卡、磁盘控制器等）直接处理来自客户机的 I/O 请求，攻击面大，一旦存在漏洞可能被恶意客户机利用来逃逸到宿主机。传统模糊测试在构造针对虚
Program Ingredients Abstraction and Instantiation for Synthesis-based JVM Testing.
这篇论文关注 Java 虚拟机（JVM）的测试方法。JVM 是运行 Java 程序的核心基础设施，其可靠性直接影响大量应用的稳定与安全，因此对 JVM 进行严格测试非常重要。现有 JVM 测试技术中，基于合成（synthesis）的方法被认
Fuzzing JavaScript Engines with a Graph-based IR.
该论文针对 JavaScript 引擎模糊测试中的突变质量瓶颈，提出了一种基于图结构中间表示（Graph-based IR）的新方法。当前主流 JS 引擎模糊测试工具通常使用抽象语法树（AST）或定制的字节码级中间语言来表示程序，但这些表示
Reactive Peripheral Modeling for Faithful Firmware Rehosting
该论文针对固件重宿主（firmware rehosting）技术在测试嵌入式协议栈时难以到达深层应用状态的问题展开研究。作者指出现有重宿主方法通常采用被动近似的外设行为建模，忽视了三方面关键因素：(i) 中断、MMIO 与 DMA 之间的协
Breaking Through Binaries: Compiler-quality Instrumentation for Better Binary-only Fuzzing.
这篇论文针对二进制程序模糊测试（binary-only fuzzing）中的覆盖率反馈质量不佳问题，提出了一种新的编译器级插桩方法，命名为“Breaking Through Binaries”（简称BTB）。传统上，对于没有源代码的二进制程
StepStone: LLM-Based GPU Kernel Driver Fuzzing via User-Space Libraries.
本文（arXiv 论文，题目为《StepStone: LLM-Based GPU Kernel Driver Fuzzing via User-Space Libraries》）提出了一种基于大语言模型（LLM）的 GPU 内核驱动模糊测试
Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing.
随着物联网（IoT）设备在无人驾驶、建筑、机器人等对精细化要求较高的行业中广泛部署，其安全性却因设备类型多样、固件执行环境复杂而严重滞后于产业发展。现有固件安全测试方法主要分为直接连接真实设备和部分模拟（partial emulation）
Protocol Prying: Systematic Vulnerability Research in the AirDrop and Android Quick Share Proximity Transfer Protocols.
该论文对 Apple AirDrop 和 Google/Samsung Quick Share 两种近场文件传输协议进行了首次跨平台的逆向工程与协议感知模糊测试研究。这两种协议被超过 50 亿台设备使用，但由于实现均为专有且未公开文档，其应