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 last month
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆254Updated last month
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆577Updated 6 years ago
- Intermediate Representation for Binary analysis and transformation☆326Updated this week
- ☆248Updated 5 years ago
- The Jakstab static analysis platform for binaries☆158Updated 5 years ago
- AFLFast (extends AFL with Power Schedules)☆415Updated last year
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆635Updated 2 years ago
- A Turing complete ROP compiler☆319Updated 11 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆243Updated 5 years ago
- Block Oriented Programming -- Compiler☆182Updated 4 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆258Updated last year
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆315Updated 4 years ago
- Improving AFL by using Intel PT to collect branch information☆290Updated 5 years ago
- ☆381Updated 3 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆186Updated 3 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆699Updated 10 months ago
- Differential fuzzing for the masses!☆150Updated 7 years ago
- Self-hosting binary instrumentation framework for security research☆211Updated last year
- Ghidra Program Analysis Library☆332Updated last year
- Fuzzer for Linux Kernel Drivers☆376Updated 2 years ago
- A linux system call fuzzer using TriforceAFL☆174Updated last year
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆304Updated 4 years ago
- Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.☆561Updated 4 years ago
- Python bindings for Valgrind's VEX IR.☆348Updated this week
- A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities☆334Updated 5 years ago
- An amd64 symbolic emulator☆314Updated 3 years ago
- Domain-Specific Fuzzing with Waypoints☆237Updated last year
- SymGDB - symbolic execution plugin for gdb☆215Updated 6 years ago
- Utilities for automated crash sample processing/analysis, easy afl-fuzz job management and corpus optimization☆415Updated 6 years ago