enzet / symbolic-execution Star 478 Code Issues Pull requests 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 Dec 28, 2021 Kotlin
ispras / oss-sydr-fuzz Star 106 Code Issues Pull requests 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 May 1, 2024 C
ispras / crusher Star 35 Code Issues Pull requests dse static-analysis symbolic-execution symbolic fuzzing binary-analysis dynamic-symbolic-execution concolic-execution concolic coverage-guided-fuzzing bug-detection hybrid-fuzzing Updated May 17, 2024 Python
ispras / sydr-benchmark Star 15 Code Issues Pull requests 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 Star 5 Code Issues Pull requests 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 Star 0 Code Issues Pull requests software-testing concolic Updated Oct 3, 2017 Java
frussian / d_gen Star 0 Code Issues Pull requests Concolic test data generator testing concolic Updated Jun 23, 2023 C++