SyzDescribe - Automated Static Generation of Syscall Descriptions for Kernel Drivers

Explore a principled solution for generating syscall descriptions for Linux kernel drivers in this 39-minute conference talk by Yu Hao from the University of California, Riverside. Learn about SyzDescribe, a tool tested on hundreds of kernel drivers, which automates the process of creating syscall descriptions for Syzkaller, a powerful Linux kernel fuzzer. Discover how SyzDescribe's output compares favorably to manually written Syzkaller descriptions and outperforms previous tools like DIFUZE and KSG in terms of accuracy, fuzzing coverage, and crash detection. Gain insights into SyzDescribe's ability to identify 78 issues in existing Syzkaller syscall descriptions, all of which have been addressed and merged into Syzkaller's codebase. Additionally, explore how SyzDescribe recovered 154 syscall handlers for Pixel 6 kernel drivers and uncovered 18 crashes, demonstrating its effectiveness in improving kernel security and stability.

SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for... - Yu Hao