dynamic-symbolic-execution
Here are 8 public repositories matching this topic...
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
- Updated
Jun 20, 2025
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
- Updated
Aug 24, 2024 - Kotlin
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
- Updated
Jul 11, 2025 - C
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
- Updated
Apr 30, 2025 - Java
Sydr benchmark applications
- Updated
Jul 25, 2022 - C++
Formal model of program execution, symbolic execution, and taint tracking
- Updated
Nov 2, 2020 - TeX
SyMIPS is a Dynamic Symbolic Execution(DSE) tool for MIPS under the presence of obfuscations like indirect jump
- Updated
Jul 24, 2019 - Java
Improve this page
Add a description, image, and links to thedynamic-symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thedynamic-symbolic-execution topic, visit your repo's landing page and select "manage topics."