#

concolic

Here are 8 public repositories matching this topic...

enzet / symbolic-execution

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

timeline history symbolic-execution dynamic-analysis program-analysis dynamic-symbolic-execution concolic-execution solving concolic

Updated Aug 24, 2024
Kotlin

ispras / oss-sydr-fuzz

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

security dse symbolic-execution symbolic fuzzing fuzz-testing vulnerabilities stability libfuzzer dynamic-symbolic-execution concolic-execution concolic oss-fuzz hybrid-fuzzing sydr sydr-fuzz

Updated Sep 4, 2026
C

ispras / crusher

dse static-analysis symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic-execution concolic coverage-guided-fuzzing bug-detection hybrid-fuzzing

Updated Sep 1, 2026
Python

daedalus / fuzzer

Information-dense, coverage-guided binary fuzzer

afl-fuzz fuzzer smt concolic asan msan ubsan

Updated Sep 4, 2026
Python

ispras / sydr-benchmark

Sydr benchmark applications

benchmark dse symbolic-execution symbolic triton fuzzing binary-analysis dynamorio dynamic-symbolic-execution concolic-execution concolic hybrid-fuzzing

Updated Jul 25, 2022
C++

nathanjackson / binrelay

BINRELAY: Finding race conditions on binaries with symbolic execution.

analysis binary static-analysis dynamic-analysis race angr condition concolic

Updated Apr 16, 2020
Python

pxzhang94 / smartconcolictest

software-testing concolic

Updated Oct 3, 2017
Java

frussian / d_gen

Concolic test data generator

testing concolic

Updated Jun 23, 2023
C++

Add this topic to your repo

To associate your repository with the concolic topic, visit your repo's landing page and select "manage topics."