TyPatch: Transforming Patches into Typestate Rules for Kernel Bug Detection
TyPatch is presented, which decouples patch-specific defect semantics from analyzer implementation and uses 88.3-90.1% fewer generation tokens than the state-of-the-art complete-checker construction workflow, while its initial report pools achieve 3.95 times the precision of those produced by that workflow.
Ruo-Yu Wang, Tuo Li, Jia Li
· 0 citations