A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
-
Updated
Oct 6, 2024
#
dynamic-symbolic-execution
Here are 8 public repositories matching this topic...
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
timeline
history
symbolic-execution
dynamic-analysis
program-analysis
dynamic-symbolic-execution
concolic-execution
solving
concolic
-
Updated
Aug 24, 2024 - Kotlin
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
security
dse
symbolic-execution
symbolic
fuzzing
fuzz-testing
vulnerabilities
stability
libfuzzer
dynamic-symbolic-execution
concolic-execution
concolic
oss-fuzz
hybrid-fuzzing
sydr
sydr-fuzz
-
Updated
Oct 22, 2024 - C
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
-
Updated
Apr 12, 2024 - Java
Sydr benchmark applications
benchmark
dse
symbolic-execution
symbolic
triton
fuzzing
binary-analysis
dynamorio
dynamic-symbolic-execution
concolic-execution
concolic
hybrid-fuzzing
-
Updated
Jul 25, 2022 - C++
Formal model of program execution, symbolic execution, and taint tracking
latex
paper
symbolic-execution
taint-analysis
graph-drawing
dynamic-symbolic-execution
concolic-execution
-
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 the dynamic-symbolic-execution topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the dynamic-symbolic-execution topic, visit your repo's landing page and select "manage topics."