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:Kotlin487 38 3356
ispras/oss-sydr-fuzz
OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.
Language:C134 10 732
ispras/crusher
Language:Python39 8 015
ispras/sydr-benchmark
Sydr benchmark applications
Language:C++17 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++0 1 00
pxzhang94/smartconcolictest
Language:Java2 0