c01db33f / concolicaLinks
Python concolic execution framework for program analysis
☆67Updated 10 years ago
Alternatives and similar repositories for concolica
Users that are interested in concolica are comparing it to the libraries listed below
Sorting:
- ☆63Updated 9 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆171Updated 10 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- Mozilla fork of the American Fuzzy Lop repo☆47Updated 6 years ago
- Nosy Newt is a simple concolic execution tool for exploring the input space of a binary executable program based in Triton