ispras/oss-sydr-fuzz

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

Language: C - Size: 10.7 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 104 - Forks: 32

ispras/crusher

Language: Python - Size: 21 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 34 - Forks: 13

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: 4 months ago - Pushed: over 2 years ago - Stars: 474 - Forks: 60

ispras/sydr-benchmark

Sydr benchmark applications

Language: C++ - Size: 35.1 MB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 13 - Forks: 5

frussian/d_gen

Concolic test data generator

Language: C++ - Size: 281 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

nathanjackson/binrelay

BINRELAY: Finding race conditions on binaries with symbolic execution.

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

pxzhang94/smartconcolictest

Language: Java - Size: 7.79 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0