该论文提出了一种名为FUZZNG的新型内核模糊测试方法，旨在解决现有操作系统模糊测试工具（如Syzkaller）依赖手动编写的系统调用接口描述（语法规则）的扩展性问题。Syzkaller需要为每个内核接口提供精确且详细的语法描述，这限制了其可扩展性，并且手动创建这些描述非常耗时。FUZZNG利用内核设计的基本特性（例如系统调用编号和文件描述符）来重塑和简化模糊器的输入空间，从而无需复杂的系统调用接口描述即可工作。具体来说，FUZZNG只需要一个小的配置文件，包含要探索的文件列表和系统调用编号，即可开始测试。作者在Linux内核上实现了FUZZNG，并在10个已有Syzkaller详细描述的Linux组件上进行了测试。实验结果表明，FUZZNG平均达到了Syzkaller覆盖率的102.5%，并且发现了9个新漏洞，其中5个位于Syzkaller已经模糊测试多年的组件中。此外，FUZZNG的配置文件大小仅为Syzkaller手动编写语法的1.7%以下，且不需要初始种子输入或专家指导。该工作为内核模糊测试提供了一种更轻量级、更易扩展的方法，尤其适用于快速评估新内核组件或接口的安全性。

内核模糊测试是发现内核漏洞的有效手段，但现有工具如Syzkaller过度追求代码覆盖率，导致低频代码区域测试不足。本文提出SYSYPHUZZ，一种面向代码频率的内核模糊器，旨在提升对未充分测试代码区域的探索。首先，通过对Linux内核中Syzkaller的精细评估，揭示了代码覆盖不平衡的问题。SYSYPHUZZ引入两个关键技术：选择性任务调度（Selective Task Scheduling）动态优先管理探索任务，避免任务爆炸；上下文保持突变（Context-Preserving Mutation）减少对低频系统调用上下文依赖的破坏。与Syzkaller和SyzGPT的对比实验表明，SYSYPHUZZ显著减少了未探索代码区域，发现31个被Syzkaller遗漏和27个被SyzGPT遗漏的独特bug，并发现5个被持续运行的Syzbot遗漏的漏洞。将SYSYPHUZZ与SyzGPT集成后，新工具SyzGPTsysy多发现33%的独占bug，证明了其增强效果。所有漏洞已负责任披露，代码已开源。该研究为内核模糊测试提供了新方向，有望提升Linux内核的安全性。

本文针对 Linux 内核快速开发周期中引入新漏洞的问题，提出了一种增量静态分析方法（Progressive Scrutiny），旨在高效检测内核中的 UBI（Use-Before-Initialization）漏洞。传统静态分析工具虽然能发现某些漏洞，但分析整个内核耗时过长，无法跟上内核的更新节奏（平均每小时10次提交）。作者设计了渐进式扫描框架：首先对整个内核进行一次完整的高精度分析，建立基线和调用图等中间表示；随后，当代码发生变更时，仅重新分析受影响的部分，通过增量更新维护分析结果。这种方法面临内核规模巨大、需要高精度以减少误报的挑战。论文在真实内核版本上进行了实验，证明与从头分析相比，增量分析在保持相同检测精度的前提下，显著缩短了分析时间，能够及时发现新引入的 UBI 漏洞。主要贡献包括：形式化定义了内核 UBI 漏洞的增量检测问题；提出了支持精准指针分析、流敏感和路径敏感的增量算法；实现了原型工具并在多个内核版本上验证了其有效性和性能提升。该工作对于内核安全维护者、DevSecOps 团队以及静态分析工具开发者具有重要参考价值。

该论文提出了一种名为K-LEAK的框架，旨在自动化生成Linux内核中基于内存错误的信息泄露利用。研究背景是：内核信息泄露的严重性不容低估，现有利用技术虽多，但缺乏对基于内存错误的信息泄露利用搜索空间的系统推理，导致大量内存错误未被有效利用。论文首先对内存错误进行了理论建模，揭示了实际搜索空间巨大且涉及多步骤，几乎任何内存错误都可能被利用来泄露信息。为弥合理论与实践之间的差距，K-LEAK将信息泄露利用生成视为数据流搜索问题。通过建模内存错误引入的意外数据流以及现有内存错误如何创建新的内存错误，K-LEAK能够以多步骤方式系统地搜索信息泄露的数据流路径。作者基于该框架实现了原型，并使用来自syzbot和CVE的内存错误进行了评估。评估结果表明，K-LEAK能够有效生成使用多种多步骤策略的多样化信息泄露利用。该工作贡献在于：1) 对内核内存错误利用空间的理论建模；2) 提出系统化的自动化利用生成方法；3) 实验证明其有效性和多样性。适合安全研究人员、内核开发者以及蓝队防御者阅读，以深入理解内核信息泄露利用的自动化生成机制。

本文提出了一种名为UACatcher的工具，用于系统性地检测Linux内核中的Use-After-Cleanup（UAC）漏洞。当设备从系统断开时，由于运行中的内核线程可能未感知到设备移除，仍尝试访问已被清理线程释放的对象，从而引发UAC漏洞。这种漏洞可被攻击者利用以实现任意代码执行和权限提升，但此前未受到足够关注。现有工具主要关注数据竞争等常见并发错误，很少针对UAC漏洞。UACatcher包含三个阶段：首先扫描整个内核以定位目标层；然后采用上下文敏感、流敏感的间过程分析和指向分析，在自底向上的清理线程中找出可能的释放（deallocation）点，在自顶向下的内核线程中找出引发UAC的使用（dereference）点；最后通过例程切换点算法，基于同步机制和路径约束来检测UAC漏洞并评估其可利用性。对于可利用的漏洞，工具利用基于伪终端的设备模拟技术开发实际漏洞利用代码。原型在Linux 5.11内核上评估，成功检测到346个UAC漏洞，已报告给社区（其中277个已确认并修复，分配了15个CVE）。其中13个漏洞可利用，可用于开发实现内核空间任意代码执行和权限提升的漏洞利用代码。文章还讨论了UACatcher的局限性并提出修复和预防UAC漏洞的可能方案。

该论文聚焦于开源软件项目中安全补丁的自动分类问题，特别是针对 Linux 内核中严重的内存错误（如越界访问 OOB 和释放后使用 UAF）。由于安全补丁经常被延迟采纳，且存在故意沉默的修复、CVE 分配不完整或延迟等问题，识别关键补丁变得困难。现有细粒度分类方法在覆盖率和准确性上存在局限。作者提出了 DUALLM 双方法流水线，结合基于大型语言模型（LLM）的方法和微调的小语言模型，利用提交标题、消息、差异及代码上下文进行补丁分类。实验表明，DUALLM 在 5140 个近期 Linux 内核补丁中达到了 87.4% 的准确率和 0.875 的 F1 分数，显著优于先前方案。它成功识别出 111 个与 OOB 或 UAF 相关的补丁，其中 90 个经人工确认真阳性（许多在补丁描述中没有明显指示）。此外，作者为两个识别出的漏洞（一个 UAF，一个 OOB）构建了概念验证，其中一个实现了此前未知的控制流劫持，进一步验证了分类正确性。该研究为下游维护者提供了自动化识别关键安全补丁的有效工具，有助于缩短漏洞暴露窗口。

本文提出一种针对Linux内核的新型跨缓存攻击方法，称为PCP Massaging。该方法利用每CPU页缓存（Per-CPU Page Cache, PCP）的内存分配行为，攻击者通过精心控制内存分配与释放，迫使目标内核对象（如socket结构体）落入特定的缓存行中，从而在受害者与攻击者之间创建共享缓存状态，实现跨核心、跨进程的侧信道信息泄露。论文在ARM64和x86_64平台上验证了攻击的有效性：一方面，攻击者能够从内核地址空间泄露KASLR（内核地址空间布局随机化）基址；另一方面，通过操作socket对象的权限字段，攻击者可以绕过普通用户权限检查，伪造具有超级用户权限的socket。实验结果表明，攻击成功率较高，且对系统性能影响较小。作者进一步讨论了潜在缓解措施，如加强PCP分配隔离或引入缓存着色技术，但未给出完整防御方案。该工作揭示了内存管理子系统中缓存一致性副作用带来的安全风险，为内核安全研究提供了新视角。

本论文是一篇系统化知识（SoK）研究，旨在从攻防双视角深入评估Linux内核加固机制的有效性。研究首先系统梳理了现有Linux内核安全加固技术，包括内核地址空间布局随机化（KASLR）、堆栈防护、控制流完整性（CFI）、内核控制流完整性（kCFI）、指针认证（PAC）、内存标记扩展（MTE）以及各种内存安全缓解措施。接着，论文从攻击者角度出发，分析了这些加固机制在实际漏洞利用中被绕过的可能性，总结了常见绕过技术及其适用条件。从防御者角度，作者评估了不同加固方案在阻止漏洞利用链各阶段（如信息泄露、控制流劫持、权限提升）的实际效果，并指出当前加固方案的覆盖盲区和性能开销权衡。论文还探讨了近年来提出的新型防御思路，如基于机器学习的异常检测和形式化验证的内核模块。通过对比实验和案例研究，作者揭示了以下关键发现：1）虽然现代内核集成了多层加固，但攻击者仍可通过组合特定绕过技术（如利用侧信道泄露KASLR基址）实现成功利用；2）不同加固方案之间存在依赖关系，单一机制的失效可能导致整个防御链崩溃；3）当前加固方案在兼容性与安全性之间尚未达到理想平衡。最后，论文提出了未来研究方向，包括开发自适应防护策略和硬件辅助安全机制。该研究成果对系统安全研究人员、内核开发者和安全运维人员理解内核防御现状与提升加固有效性具有重要参考价值。