concolic

There are 7 repositories under concolic topic.

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
ispras/sydr-benchmark
Sydr benchmark applications
Language:C++15 7 15
nathanjackson/binrelay
BINRELAY: Finding race conditions on binaries with symbolic execution.
Language:Python5 1 11
frussian/d_gen
Concolic test data generator
Language:C++1 0
pxzhang94/smartconcolictest
Language:Java2 0