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.
Venue: Qualcomm Product Security Summit 2023
Location: San Diego, CA, USA