A collection of resources/tools and analyses for the angr binary analysis framework.
☆188Jul 28, 2022Updated 4 years ago
Alternatives and similar repositories for awesome-angr
Users that are interested in awesome-angr are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆239Jan 14, 2024Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆47Sep 2, 2023Updated 2 years ago
- angr源码分析☆34Jan 6, 2020Updated 6 years ago
- angr's exploration technique to perform taint analysis☆62Mar 26, 2020Updated 6 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆301Mar 15, 2019Updated 7 years ago
- ☆33Apr 7, 2022Updated 4 years ago
- fuzzing + concolic = fuzzolic :)☆131Nov 6, 2025Updated 8 months ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆59Jan 15, 2025Updated last year
- Code and exercises for a workshop on z3 and angr☆237Dec 29, 2020Updated 5 years ago
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 5 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆80Aug 6, 2021Updated 4 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆31Apr 12, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 4 years ago
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆33Jan 24, 2021Updated 5 years ago
- A LLVM Sanitizer for Symbolic Tracing☆235Updated this week
- SymQEMU: Compilation-based symbolic execution for binaries☆375May 5, 2025Updated last year
- Open source of the paper "击败SOTA反混淆方法"☆16Sep 10, 2022Updated 3 years ago
- ☆18Sep 23, 2024Updated last year
- The official angr GUI.☆1,163Updated this week
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Jan 6, 2017Updated 9 years ago
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An awesome & curated list of binary code similarity papers☆611Jul 17, 2026Updated last week
- Dice CTF 2022 breach write-up☆15Feb 14, 2022Updated 4 years ago
- Framework for Automating Fuzzable Target Discovery with Static Analysis.☆549Jun 11, 2026Updated last month
- ☆1,120Mar 14, 2024Updated 2 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆59Dec 7, 2021Updated 4 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆128Jul 17, 2026Updated last week
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- a java decompiler demo☆15Mar 29, 2024Updated 2 years ago
- Source code for the DEF CON 30 CTF Qualifiers.☆267May 27, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆213Updated this week
- IRPT: The Art, Science, and Engineering of Windows driver fuzzing☆21Mar 26, 2021Updated 5 years ago
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆428Sep 18, 2021Updated 4 years ago
- Scripts for the Ghidra.☆311Nov 1, 2021Updated 4 years ago
- Human-friendly cross-platform system call tracing and hooking library based on Frida's Stalker☆356Jul 21, 2023Updated 3 years ago
- A powerful and user-friendly binary analysis platform!☆8,976Updated this week