SyzSpec

github.comtool

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

from

Fuzzing

added

2026-10-10

likes

0

similar

1. ▲
   SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution, 2025 dl.acm.org

   site category #fuzzing link ↗
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. ▲
   SyzTrust github.com

   tool category #fuzzing link ↗

   (2024) - An on-device fuzzer for IoT trusted operating systems that uses state and branch coverage to guide input generation.

   
4. ▲
   syzkaller github.com

   tool category #fuzzing link ↗

   (2015) - An unsupervised coverage-guided kernel fuzzer supporting FreeBSD, Fuchsia, gVisor, Linux, NetBSD, OpenBSD, and Windows.

   
5. ▲
   SpecFuzz github.com

   tool category #fuzzing link ↗

   A tool that exposes speculative execution paths through software instrumentation so fuzzers can detect Spectre-type vulnerabilities in programs.

6. ▲
   SyzDirect github.com

   tool category #fuzzing link ↗

   (2023) - A directed greybox fuzzer for reaching target locations in the Linux kernel.

   

Fuzzing › Tools > Kernel: “(2025) - A specification generator for Linux kernel fuzzing that uses under-constrained symbolic execution to infer syscall interfaces.”