dynamic-symbolic-execution topic

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

enzet

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

ksluckow

ispras

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

ispras

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

SWAT-project

Sydr benchmark applications

ispras