brainsmoke / minemuLinks
Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
☆41Updated 4 years ago
Alternatives and similar repositories for minemu
Users that are interested in minemu are comparing it to the libraries listed below
Sorting:
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Updated 9 years ago
- CRETE under development☆59Updated 4 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆22Updated 8 years ago
- KLEE-TAINT - Klee with taint analysis support☆70Updated 7 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 9 years ago
- A tool to manage, conduct, and assess dictionary-based fuzz testing☆64Updated 7 years ago
- Automated Return-Oriented Programming Chaining☆85Updated 8 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- ☆64Updated 4 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- Vine: The BitBlaze Static Analysis Component☆25Updated 10 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- Recover mutation graph from an AFL seed☆60Updated 4 years ago
- ☆17Updated 6 years ago
- Public release of the tools used to assist in gadget finding.☆42Updated 7 years ago
- ☆55Updated 2 years ago
- Tools built using Dyninst or Dyninst component libraries.☆25Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Experimental translation of llvm to smt.☆56Updated 5 years ago
- Python concolic execution framework for program analysis☆66Updated 10 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 6 months ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- [DEPRECATED] A symbolic execution engine for the VEX IR☆79Updated 6 years ago
- ☆26Updated 9 years ago
- Signedness-Agnostic Strided-Interval☆37Updated 5 years ago
- ☆63Updated 9 years ago
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis☆16Updated 10 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- A framework for control-flow recovery in binary programs.☆10Updated 6 years ago