dogear

enter for all results · esc to close

QSYM

github.comtool

(2018) - A concolic execution engine designed for hybrid fuzzing that works with AFL to generate inputs for new execution paths.

visit github.com ↗
0
sign in to dogear this
from
Fuzzing
added
2026-10-10
likes
0

similar

  1. QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing, 2018 usenix.org
    site category #fuzzing link ↗
  2. syzkaller github.com
    tool category #fuzzing link ↗

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

  3. 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.

  4. CodeAlchemist github.com
    tool category #fuzzing link ↗

    (2019) - A JavaScript engine fuzzer that assembles code fragments while respecting semantic constraints to generate valid test programs.

  5. SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution, 2025 dl.acm.org
    site category #fuzzing link ↗
  6. 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.

Fuzzing › Tools > File: “(2018) - A concolic execution engine designed for hybrid fuzzing that works with AFL to generate inputs for new execution paths.”