angr / cle
CLE Loads Everything (at least, many binary formats!)
☆448Updated last week
Alternatives and similar repositories for cle:
Users that are interested in cle are comparing it to the libraries listed below
- Python bindings for Valgrind's VEX IR.☆352Updated last week
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆709Updated last week
- An abstraction layer for constraint solvers.☆312Updated last week
- afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.☆606Updated last year
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆285Updated 6 years ago
- Package Binary Code as a Python class using Binary Ninja and Unicorn Engine☆404Updated 2 years ago
- ☆672Updated last month
- A Miasm2 based function divination.☆535Updated 4 years ago
- The official angr GUI.☆986Updated this week
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆255Updated last month
- Intermediate Representation for Binary analysis and transformation☆332Updated last week
- A fast and accurate disassembler☆704Updated 2 months ago
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆829Updated last year
- A powerful static binary rewriting tool☆1,016Updated 2 weeks ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆464Updated 4 months ago
- IDAPython Made Easy☆660Updated 2 months ago
- Driller: augmenting AFL with symbolic execution!☆929Updated last month
- A tool for matching and diffing source codes directly against binaries.☆645Updated 2 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆579Updated 6 years ago
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,542Updated 8 months ago
- IDA Pro plugin to examine the glibc heap, focused on exploit development☆749Updated 2 years ago
- idaemu is an IDA Pro Plugin - use for emulating code in IDA Pro.☆566Updated 2 years ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆344Updated this week
- AFL/QEMU fuzzing with full-system emulation.☆629Updated 6 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆304Updated 4 years ago
- A fuzzer for full VM kernel/driver targets☆693Updated last month
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆320Updated 5 years ago
- Karta - source code assisted fast binary matching plugin for IDA☆879Updated last year
- Debugger plugin for IDA Pro backed by the Unicorn Engine☆554Updated 10 months ago