dynamic-symbolic-execution

There are 8 repositories under dynamic-symbolic-execution topic.

ksluckow/awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
1.3k 61 5134
enzet/symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Language:Kotlin478 38 3356
ispras/oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Language:C106 9 531
ispras/crusher
Language:Python35 7 014
SWAT-project/SWAT
SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
Language:Java21 0 70
ispras/sydr-benchmark
Sydr benchmark applications
Language:C++15 7 15
enzet/program-model
Formal model of program execution, symbolic execution, and taint tracking
Language:TeX7 3 12
tracquangthinh/SyMIPS
SyMIPS is a Dynamic Symbolic Execution(DSE) tool for MIPS under the presence of obfuscations like indirect jump
Language:Java0 1 01