QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing, 2018

usenix.orgsite

from

Fuzzing

added

2026-10-10

likes

0

similar

1. ▲
   QSYM github.com

   tool category #fuzzing link ↗

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

   
2. ▲
   Fuzzing with Code Fragments, 2012 usenix.org

   site category #fuzzing link ↗
3. ▲
   SyzSpec: Specification Generation for Linux Kernel Fuzzing via Under-Constrained Symbolic Execution, 2025 dl.acm.org

   site category #fuzzing link ↗
4. ▲
   DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation, 2023 usenix.org

   site category #fuzzing link ↗
5. ▲
   SpecFuzz: Bringing Spectre-type vulnerabilities to the surface, 2020 usenix.org

   site category #fuzzing link ↗
6. ▲
   Charm: Facilitating Dynamic Analysis of Device Drivers of Mobile Systems, 2018 usenix.org

   site category #fuzzing link ↗