返回
Packet-syscall coordinated fuzzing for linux kernel network stack
DOI:10.1016/j.cose.2026.105141.png)
摘要
En 中文
Linux内核网络栈是一个安全关键子系统,负责管理网络通信,如TCP/IP会话处理和UDP数据包路由。然而,有效模糊测试内核网络栈存在显著挑战:大量代码因静态配置而被禁用;为系统调用和分组生成网络特定输入困难;测试系统调用执行与分组注入的交互需要精确协调。本文介绍Pacaller,一种针对内核网络栈的分组-系统调用协同模糊测试工具。Pacaller首先执行自动配置分析以增强代码可达性。然后,Pacaller从内核源代码中提取网络资源,生成网络特定系统调用规范和分组模型。最后,Pacaller协调系统调用执行与分组注入,以测试网络栈中的复杂交互。我们在四个最新版本的Linux内核上实现了并评估了Pacaller,发现了26个先前未知的漏洞(16个已确认,10个已修复)。Pacaller比Syzkaller、SyzGen++、KernelGPT、Syz-TCP和TRON实现了13.3%到22.3%更高的网络栈覆盖率。这些结果表明,Pacaller显著提高了对内核网络栈进行模糊测试的有效性。
期刊
C
IF:
5.4
论文数:
325
被引数:
21
机构
引用论文
Bhurtel, M.; Rawat, D.B. Unveiling the Landscape of Operating System Vulnerabilities. Future Internet 2023, 15, 248. [Google Scholar] [CrossRef]Bhurtel, M.; Rawat, D.B. 揭示操作系统漏洞的格局。Future Internet 2023, 15, 248. [Google Scholar] [CrossRef]
SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using SnapshotsSNPSFuzzer: 使用快照的有状态网络协议的快速灰盒Fuzzer
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build TimesN. F. Yildiran, J. Oh, J. Lawall, P. Gazzillo, 《在不爆炸构建时间的情况下最大化高度可配置软件的测试补丁覆盖率》,发表于:ACM欧洲软件工程会议与软件工程基础研讨会联合会议(ESEC/FSE),2024年,第427-449页。doi:10.1145/3643746.
Luo, Z.; Yu, J.; Du, Q.; Zhao, Y.; Wu, F.; Shi, H.; Chang, W.; Jiang, Y. Parallel Fuzzing of IoT Messaging Protocols Through Collaborative Packet Generation. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 2024, 43, 3431–3442. [Google Scholar] [CrossRef]Luo, Z.; Yu, J.; Du, Q.; Zhao, Y.; Wu, F.; Shi, H.; Chang, W.; Jiang, Y. 通过协作式报文生成实现物联网消息协议的并行模糊测试。IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. 2024, 43, 3431–3442. [Google Scholar] [CrossRef]
ECG: augmenting embedded operating system fuzzing via LLM-based corpus generationECG:通过基于大型语言模型的语料库生成增强嵌入式操作系统模糊测试

