utds3lab / multiverse
A static binary rewriter that does not use heuristics
☆298Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for multiverse
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆251Updated 4 months ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Infrastructure for Reassembleable Disassembling and Transformation☆189Updated 2 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆677Updated 5 months ago
- Block Oriented Programming -- Compiler☆181Updated 4 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆241Updated 5 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆573Updated 5 years ago
- CLE Loads Everything (at least, many binary formats!)☆414Updated this week
- A taint-tracking plugin for the Valgrind memory checking tool☆249Updated last year
- Intermediate Representation for Binary analysis and transformation☆309Updated last month
- Python bindings for Valgrind's VEX IR.☆340Updated this week
- gramfuzz is a grammar-based fuzzer that lets one define complex grammars to generate text and binary data formats.☆256Updated 4 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆413Updated 6 years ago
- The Jakstab static analysis platform for binaries☆157Updated 4 years ago
- yet another tool for analysing binaries☆469Updated 4 months ago
- Domain-Specific Fuzzing with Waypoints☆235Updated last year
- Export dwarf debug information from IDA Pro☆206Updated 2 years ago
- An amd64 symbolic emulator☆309Updated 3 years ago
- ☆236Updated 6 years ago
- ☆248Updated 4 years ago
- History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)☆487Updated 2 months ago
- Differential fuzzing for the masses!☆149Updated 7 years ago
- Package Binary Code as a Python class using Binary Ninja and Unicorn Engine☆397Updated 2 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆631Updated last year
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆299Updated 4 years ago
- ☆373Updated 3 years ago
- A linux system call fuzzer using TriforceAFL☆170Updated 8 months ago
- Scripts for Binary Ninja☆252Updated last year
- ☆379Updated 5 years ago