utds3lab / multiverse
A static binary rewriter that does not use heuristics
☆302Updated 6 years ago
Alternatives and similar repositories for multiverse:
Users that are interested in multiverse are comparing it to the libraries listed below
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆255Updated last month
- A Turing complete ROP compiler☆319Updated 11 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- ☆248Updated 4 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆698Updated 9 months ago
- Intermediate Representation for Binary analysis and transformation☆324Updated last week
- Block Oriented Programming -- Compiler☆182Updated 4 years ago
- CLE Loads Everything (at least, many binary formats!)☆431Updated this week
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆303Updated 4 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆243Updated 5 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆633Updated 2 years ago
- Binary Translator to LLVM IR☆215Updated last year
- Differential fuzzing for the masses!☆150Updated 7 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆197Updated last month
- The fastest Intel-PT decoder for fuzzing☆366Updated last year
- Export dwarf debug information from IDA Pro☆208Updated 2 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆490Updated 5 months ago
- A taint-tracking plugin for the Valgrind memory checking tool☆257Updated last year
- ELF Unstrip Tool☆106Updated 9 years ago
- AFL/QEMU fuzzing with full-system emulation.☆628Updated 6 years ago
- ☆173Updated 2 years ago
- ☆129Updated 5 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- add symbols back into a stripped ELF binary (~strip)☆170Updated 7 years ago
- afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.☆602Updated last year
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆319Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆577Updated 6 years ago
- ☆379Updated 3 years ago