dynamic-symbolic-execution | Topic

Topic: "dynamic-symbolic-execution"

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

Size: 49.8 KB - Last synced at: 3 days ago - Pushed at: 7 months ago - Stars: 1,393 - Forks: 141

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

Language: Kotlin - Size: 14.9 MB - Last synced at: about 4 hours ago - Pushed at: 9 months ago - Stars: 493 - Forks: 56

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

Language: C - Size: 12 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 138 - Forks: 33

Language: Python - Size: 32 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 39 - Forks: 16

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

Language: Java - Size: 238 MB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 0

Sydr benchmark applications

Language: C++ - Size: 35.1 MB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 17 - Forks: 7

Formal model of program execution, symbolic execution, and taint tracking

Language: TeX - Size: 1.02 MB - Last synced at: 27 days ago - Pushed at: over 4 years ago - Stars: 7 - Forks: 2

SyMIPS is a Dynamic Symbolic Execution(DSE) tool for MIPS under the presence of obfuscations like indirect jump

Language: Java - Size: 95.4 MB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 1