SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution, 2025

dl.acm.orgsite

from

Fuzzing

added

2026-10-10

likes

0

similar

1. ▲
   SyzSpec github.com

   tool category #fuzzing link ↗

   (2025) - A specification generator for Linux kernel fuzzing that uses under-constrained symbolic execution to infer syscall interfaces.

2. ▲
   SyzGen github.com

   tool category #fuzzing link ↗

   (2021) - A syscall specification generator that analyzes closed-source macOS drivers to enable interface-aware fuzzing.

   
3. ▲
   SyzScope: Revealing High-Risk Security Impacts of Fuzzer-Exposed Bugs in Linux kernel, 2022 usenix.org

   site category #fuzzing link ↗
4. ▲
   SyzParam: Incorporating Runtime Parameters into Kernel Driver Fuzzing, 2025 dl.acm.org

   site category #fuzzing link ↗
5. ▲
   Learning to Fuzz from Symbolic Execution with Application to Smart Contracts, 2019 files.sri.inf.ethz.ch

   site category #fuzzing link ↗
6. ▲
   SyzGen++: Dependency Inference for Augmenting Kernel Driver Fuzzing, 2024 computer.org

   site category #fuzzing link ↗