SOURCE-LINKED INTELLIGENCE

TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection

arXiv · AI, language, vision and robotics · article · Sep 12, 2026 · UTC

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 static-analysis checkers from historical patches and use them to uncover new kernel bugs. However, complete-checker generation requires the model both to recover the defect semantics expressed by a patch and to implement sophisticated program-analysis machinery, including object tracking, alias analysis, path-state maintenance, and interprocedural propagation. Coupling these responsibilities in a single end-to-end code-ge

Read original source ↗ Open in workspace

recordType

paper

region

Global