TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection

Ruoyu Wang, Tuo Li, Jia Li

Historical Linux kernel patches capture defect knowledge that applies beyond their original repair sites. Recent work has shown that large language models (LLMs) can generate stati…