SyzDescribe - Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers

Explore an innovative approach to generating syscall descriptions for kernel drivers in this 15-minute IEEE conference talk. Learn about SyzDescribe, a principled and automated static analysis tool designed to enhance the efficiency and accuracy of syscall description generation. Discover how researchers from the University of California, Riverside and Irvine have developed this cutting-edge solution to address challenges in kernel driver testing and security analysis. Gain insights into the methodology, implementation, and potential impact of SyzDescribe on improving kernel driver reliability and vulnerability detection.

SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers