ispras/oss-sydr-fuzz

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

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

ispras/crusher

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

ispras/sydr-benchmark

Sydr benchmark applications

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

enzet/symbolic-execution

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

Language: Kotlin - Size: 14.9 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 474 - Forks: 60

frussian/d_gen

Concolic test data generator

Language: C++ - Size: 281 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

nathanjackson/binrelay

BINRELAY: Finding race conditions on binaries with symbolic execution.

Language: Python - Size: 76.2 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 1

pxzhang94/smartconcolictest

Language: Java - Size: 7.79 MB - Last synced at: 6 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0