Dependency: Demystifying the Dependency Challenge in Kernel Fuzzing
A tool for understanding and addressing dependency challenges in kernel fuzzing, associated with ICSE 2022 paper.
Portfolio
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers
A static analysis tool for automatically generating syscall descriptions for Linux kernel drivers, enabling better fuzzing coverage.
SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution
A tool that uses under-constrained symbolic execution to automatically generate syscall specifications for improved Linux kernel fuzzing.