feliam / klee-taintView external linksLinks
KLEE-TAINT - Klee with taint analysis support
☆71Oct 23, 2017Updated 8 years ago
Alternatives and similar repositories for klee-taint
Users that are interested in klee-taint are comparing it to the libraries listed below
Sorting:
- Empirical Analysis and Modeling of Black-Box Mutational Fuzzing☆10Mar 30, 2016Updated 9 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆38May 29, 2018Updated 7 years ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆512May 1, 2021Updated 4 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆172Jan 27, 2015Updated 11 years ago
- ☆25Aug 10, 2018Updated 7 years ago
- covFuzz☆34Jun 8, 2017Updated 8 years ago
- ☆14Dec 9, 2015Updated 10 years ago
- Vulnerability research and development.☆25Jul 22, 2015Updated 10 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 7 years ago
- ☆22Mar 23, 2016Updated 9 years ago
- High-throughput fuzzer and emulator of DECREE binaries