A fuzzer and a symbolic executor walk into a cloud

Finding bugs in programs is hard. Automating the process is even harder. We tackled the harder problem and produced two production-quality bug-finding systems: GRR, a high-throughput fuzzer, and PySymEmu (PSE), a binary symbolic executor with support for concrete inputs. From afar, fuzzing is a dumb, brute-force method that works surprisingly well, and symbolic execution is…

Fuzzing: Hack, Art, and Science, February 2020

Optimizing symbolic execution for malware behavior classification - ScienceDirect

Applied Sciences, Free Full-Text

PDF) Checksum-Aware Fuzzing Combined with Dynamic Taint Analysis and Symbolic Execution

Fuzzing Against the Machine: Automate vulnerability research with emulated IoT devices on QEMU 1, Nappa, Antonio, Blazquez, Eduardo, Bassen, Nikias, Lopez-Gomez, Dr. Javier, eBook

Capturing memory corruptions with symbolic execution - Introduction to KLEE (part 3)

Recon2022 - Reverse engineering of black box binaries with symbolic and concolic execution technique

How we identified a tcpdump vulnerability using cloud fuzzing

GitHub - julieeen/kleefl: Seeding fuzzers with symbolic execution