utds3lab / multiverse
A static binary rewriter that does not use heuristics
☆303Updated 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.☆254Updated 3 weeks ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆258Updated last year
- High-throughput fuzzer and emulator of DECREE binaries☆243Updated 5 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆637Updated 2 years ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- Block Oriented Programming -- Compiler☆182Updated 4 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆579Updated 6 years ago
- ☆383Updated 3 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆198Updated 3 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆704Updated 11 months ago
- Intermediate Representation for Binary analysis and transformation☆327Updated last month
- Export dwarf debug information from IDA Pro☆208Updated 2 years ago
- ☆249Updated 5 years ago
- gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.☆257Updated 4 years ago
- Domain-Specific Fuzzing with Waypoints☆236Updated last year
- Binary Translator to LLVM IR☆216Updated last year
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆187Updated 3 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆304Updated 4 years ago
- ELF Unstrip Tool☆106Updated 9 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆215Updated 6 months ago
- AFLFast (extends AFL with Power Schedules)☆417Updated last year
- A Turing complete ROP compiler☆319Updated 11 years ago
- Python bindings for Valgrind's VEX IR.☆351Updated this week
- A tool for analyzing x86-64 binaries.☆317Updated 5 months ago
- ☆173Updated 2 years ago
- Differential fuzzing for the masses!☆152Updated 7 years ago
- Ghidra Program Analysis Library☆332Updated last year
- Improving AFL by using Intel PT to collect branch information☆291Updated 5 years ago