作者位次 #4/8ACL 2026Workshop· ACL System Demonstrations
Bridging Kernel Drivers and Virtual Device Models with LLM -Powered Automation
Mingyu Wang · Bin Yu · Wenjian Lu · Zhi Wang · Gao Kefeng · Cheng Wen · Xu Lu · Cong Tian
摘要
Linux kernel device drivers are tightly coupled with hardware, making them difficult to execute and test without physical devices. This heavily limits automated code analysis and vulnerability discovery. While manual modeling is unscalable, Large Language Models (LLMs) offer a new approach to sca...