enzet / symbolic-execution Star 488 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 Aug 24, 2024 Kotlin
ispras / oss-sydr-fuzz Star 136 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 Dec 18, 2024 C
ispras / crusher Star 40 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 Dec 18, 2024 Python
ispras / sydr-benchmark Star 17 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 6 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