concolic-execution topic

An analysis tool for Python that blurs the line between testing and type systems.

pschanely

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

enzet

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

sslab-gatech

The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)

SQLab

Build your emulation environment as needed

jordan9001

CRETE under development

SVL-PSU

fuzzing + concolic = fuzzolic :)

season-lab

ispras

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

ispras

CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.

rshariffdeen