CLE Loads Everything (at least, many binary formats!)
☆473Feb 20, 2026Updated last week
Alternatives and similar repositories for cle
Users that are interested in cle are comparing it to the libraries listed below
Sorting:
- Python bindings for Valgrind's VEX IR.☆375Updated this week
- An abstraction layer for constraint solvers.☆327Feb 20, 2026Updated last week
- Classes with architecture-specific information useful to other projects.☆95Feb 20, 2026Updated last week
- [DEPRECATED] A symbolic execution engine for the VEX IR☆80Sep 27, 2018Updated 7 years ago
- A patched version of VEX to work with PyVEX.☆113Feb 1, 2026Updated last month
- The official angr GUI.☆1,117Updated this week
- A powerful and user-friendly binary analysis platform!☆8,507Feb 20, 2026Updated last week
- Documentation for the angr suite☆848Apr 27, 2023Updated 2 years ago
- ☆45Mar 13, 2022Updated 3 years ago
- Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.☆654Jan 12, 2026Updated last month
- Debugger plugin for IDA Pro backed by the Unicorn Engine☆559Jun 20, 2024Updated last year
- Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software v…☆4,070Dec 2, 2025Updated 2 months ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆265Jan 13, 2026Updated last month
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆316Jun 11, 2020Updated 5 years ago
- Reverse engineering framework in Python☆3,828Jan 26, 2025Updated last year
- A Dynamic Binary Instrumentation framework based on LLVM.☆1,730Feb 20, 2026Updated last week
- Some helper scripts to set up an environment for angr development.☆123Updated this week
- IDA 2016 plugin contest winner! Symbolic Execution just one-click away!☆1,612Jun 11, 2025Updated 8 months ago
- Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free…☆1,846Feb 25, 2025Updated last year
- Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode☆2,751Apr 26, 2022Updated 3 years ago
- Automated static analysis tools for binary programs☆1,671Dec 18, 2025Updated 2 months ago
- ☆809Feb 5, 2026Updated 3 weeks ago
- The Kam1n0 Assembly Analysis Platform☆626Mar 2, 2023Updated 2 years ago
- An amd64 symbolic emulator☆314Aug 28, 2021Updated 4 years ago
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆299Mar 15, 2019Updated 6 years ago
- A lightweight dynamic instrumentation library☆1,308Apr 1, 2025Updated 11 months ago
- dynamic binary analysis via platform emulation☆904Jun 1, 2023Updated 2 years ago
- LIEF - Library to Instrument Executable Formats (C++, Python, Rust)☆5,283Feb 22, 2026Updated last week
- Utilities for generating dynamic traces☆94Mar 24, 2025Updated 11 months ago
- Binary Analysis Platform☆2,211Apr 30, 2025Updated 10 months ago
- ☆986Jan 16, 2026Updated last month
- IDAPython Made Easy☆674Feb 22, 2025Updated last year
- Library for lifting machine code to LLVM bitcode☆1,605Feb 13, 2026Updated 2 weeks ago
- Platform for Architecture-Neutral Dynamic Analysis☆2,719Feb 14, 2026Updated 2 weeks ago
- A Coverage Explorer for Reverse Engineers☆2,500Feb 14, 2026Updated 2 weeks ago
- Diaphora, the most advanced Free and Open Source program diffing tool.☆4,188Nov 24, 2024Updated last year
- revng: the core repository of the rev.ng project☆1,632Feb 21, 2026Updated last week
- Public API, examples, documentation and issues for Binary Ninja☆1,208Updated this week
- Open-source symbolic execution framework: https://maat.re☆648Feb 22, 2026Updated last week