eBPF 是一项可在特权上下文中运行沙箱程序的革命性技术，广泛应用于 Linux 内核网络监控、Windows 拒绝服务防护以及区块链智能合约执行等场景。然而，eBPF 实现中的缺陷可能造成广泛而严重的影响。以往研究主要关注 eBPF 运行时（runtime）的内存安全性，很少能检测实现缺陷（即实现是否正确）；且现有实现缺陷检测方法多聚焦于验证器（verifier）中的漏洞，忽略了解释器（interpreter）和 JIT 编译器等其他组件。本文提出 BpfChecker，一个基于差分模糊测试（differential fuzzing）的框架，用于检测 eBPF 运行时的实现缺陷。该方法以 eBPF 程序为输入，在不同 eBPF 运行时的关键状态间执行差分测试，从而发现实现不一致。为增强生成程序的语义，作者设计了一种轻量级中间表示，并在错误消息指导下进行约束变异。作者实现了 BpfChecker 原型，并在三个 eBPF 运行时（Solana rBPF、vanilla rBPF、Windows eBPF）上进行了广泛评估。结果表明，共发现 28 个新的实现缺陷，获得 2 个 CVE 编号以及约 800,000 美元漏洞奖励，并得到开发者致谢。更重要的是，其中 2 个新发现的缺陷能够导致 Solana 网络执行层出现分歧（divergence），威胁共识一致性。该工作表明差分模糊测试在揭示跨运行时语义差异方面非常有效，也为针对 eBPF 生态的漏洞挖掘提供了新思路。适合关注系统安全、虚拟化技术、区块链底层安全的研究人员和安全工程师阅读。

本文研究如何将差分模糊测试（differential fuzzing）应用于 x86-64 指令解码器的错误发现。传统模糊测试依赖崩溃、挂起或内存访问错误作为 oracle，而差分模糊测试将同一输入在不同实现之间的行为差异作为潜在错误信号。作者提出了 MISHEGOS，一个新颖的差分模糊测试器，专门用于发现指令解码器之间的解码差异。MISHEGOS 的架构包括一个过近似（overapproximated）的机器指令模型，用于在变长指令架构上滑动生成测试用例，从而高效探测解码器的边界行为。该工具每小时可在普通硬件上生成数亿条解码器测试用例。作者在不依赖硬件解码器作为 ground truth 的情况下，利用 MISHEGOS 在多个流行的 x86-64 指令解码器中发现了数百个错误。此外，MISHEGOS 提供了一个可扩展的分析框架，使用户能够针对单个解码器发现错误，或在多个解码器之间分析各种不一致。论文还讨论了解码错误和不一致的安全影响，例如可能导致反汇编器、二进制分析工具或安全产品在生产环境中产生误判。作者以宽松许可证公开了 MISHEGOS 的源代码。本文的主要贡献包括：首次系统性地将差分模糊测试应用于指令解码器领域；提出了一种针对变长指令集的滑动模糊策略；构建了高吞吐量的测试生成与差异分析框架；并通过实验证明了该方法在发现真实解码器缺陷方面的有效性。适合从事二进制分析、反汇编器开发、模糊测试和安全工具研发的研究人员与工程师阅读。

本文是首篇以系统化科学框架研究 HTTP 请求走私（HRS）攻击的学术工作。HRS 是一种利用代理-源站架构中两个服务器对 HTTP 请求解析差异的攻击手法，攻击者可将隐藏请求通过代理转发至后端服务器。尽管该攻击概念并不新颖，但近期新披露的利用技巧和真实攻击案例使其热度急剧上升。作者没有聚焦于具体的利用载荷，而是退后一步，构建了基于新型语法引导差分模糊测试的实验基础设施。他们对 10 种流行的服务器、代理和 CDN 技术进行两两组合测试，识别出会导致处理差异的服务器组合，并发现可被用于 HRS 的漏洞利用方式。实验揭示了此前未知的操纵 HTTP 请求的利用思路，并首次以文档形式记录了易受 HRS 影响的服务器配对关系。该工作填补了 HRS 缺乏系统性研究的空白，为理解代理-源站间解析不一致性提供了实验基础，并为后续自动化发现类似协议级差异提供了方法论参考。适合 Web 安全研究人员、代理/CDN 开发者以及安全防御团队阅读，以更好地评估自身基础设施的暴露面。