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
- Infrastructure for Reassembleable Disassembling and Transformation☆198Updated 2 months ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆315Updated 4 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆258Updated last year
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆254Updated this week
- An amd64 symbolic emulator☆314Updated 3 years ago
- ☆249Updated 5 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆243Updated 5 years ago
- A Turing complete ROP compiler☆319Updated 11 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆415Updated 6 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 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
- Python bindings for Valgrind's VEX IR.☆349Updated this week
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆701Updated 10 months ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆578Updated 6 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆304Updated 4 years ago
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆319Updated 5 years ago
- Small tool for generating ropchains using unicorn and z3☆197Updated 7 years ago
- Binary Translator to LLVM IR☆216Updated last year
- AFL/QEMU fuzzing with full-system emulation.☆629Updated 6 years ago
- A linux system call fuzzer using TriforceAFL☆174Updated last year
- ☆382Updated 3 years ago
- ☆236Updated 6 years ago
- Export dwarf debug information from IDA Pro☆208Updated 2 years ago
- The fastest Intel-PT decoder for fuzzing☆368Updated last year
- Block Oriented Programming -- Compiler☆182Updated 4 years ago
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆334Updated 5 years ago
- Open source library that implements translator and tools for REIL (Reverse Engineering Intermediate Language)☆503Updated 3 years ago
- DynamoRIO plugin to get ASAN and SanitizerCoverage compatible output for closed-source executables☆206Updated 3 years ago
- Intermediate Representation for Binary analysis and transformation☆326Updated last week