SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution
Date:
Automatically infers syscall specifications for Linux kernel drivers using under-constrained symbolic execution, winning Distinguished Paper at CCS 2025.
Title: SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution Venue: ACM Conference on Computer and Communications Security (CCS 2025) Location: Kobe, Japan 🏆 Distinguished Paper Award