A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
-
Updated
May 5, 2022
#
dynamic-symbolic-execution
Here are 7 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
Dec 28, 2021 - 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
May 26, 2022 - C
Sydr benchmark applications
benchmark
dse
symbolic-execution
symbolic
triton
fuzzing
binary-analysis
dynamorio
dynamic-symbolic-execution
concolic-execution
concolic
hybrid-fuzzing
-
Updated
May 26, 2021 - 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."