SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
Date:
Pioneers principled static analysis to automatically generate syscall descriptions for Linux kernel drivers, enabling targeted driver fuzzing.
Title: SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers Venue: IEEE Symposium on Security and Privacy (S&P 2023) Location: San Francisco, CA, USA