A collection of resources/tools and analyses for the angr binary analysis framework.
☆187Jul 28, 2022Updated 3 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☆63Mar 26, 2020Updated 6 years ago
- ☆34Apr 7, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Dec 30, 2021Updated 4 years ago
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆300Mar 15, 2019Updated 7 years ago
- fuzzing + concolic = fuzzolic :)☆129Nov 6, 2025Updated 4 months ago
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆32Jan 24, 2021Updated 5 years ago
- Code and exercises for a workshop on z3 and angr☆235Dec 29, 2020Updated 5 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆58Jan 15, 2025Updated last year
- MBA-Blast is a tool for simplification of MBA expressions.☆75Aug 6, 2021Updated 4 years ago
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆30Apr 12, 2023Updated 2 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- A LLVM Sanitizer for Symbolic Tracing☆235Mar 22, 2026Updated last week
- ☆17Sep 23, 2024Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆373May 5, 2025Updated 10 months ago
- The official angr GUI.☆1,127Updated this week
- Open source of the paper "击败SOTA反混淆方法"☆18Sep 10, 2022Updated 3 years ago
- An awesome & curated list of binary code similarity papers☆600Jan 5, 2026Updated 2 months ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆49Jan 6, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- syzkaller is an unsupervised coverage-guided kernel fuzzer☆13Oct 3, 2020Updated 5 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆210Updated this week
- Framework for Automating Fuzzable Target Discovery with Static Analysis.☆549Feb 1, 2024Updated 2 years ago
- Dice CTF 2022 breach write-up☆15Feb 14, 2022Updated 4 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆121Feb 25, 2026Updated last month
- ☆1,112Mar 14, 2024Updated 2 years ago
- Source code for the DEF CON 30 CTF Qualifiers.☆266May 27, 2024Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- Open Source Software modified or written by Tetrane https://www.tetrane.com for the REVEN product.☆21Feb 9, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Mar 14, 2022Updated 4 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆165Dec 5, 2022Updated 3 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆91May 7, 2024Updated last year
- IRPT: The Art, Science, and Engineering of Windows driver fuzzing☆21Mar 26, 2021Updated 5 years ago
- A powerful and user-friendly binary analysis platform!☆8,571Updated this week
- Scripts for the Ghidra.☆310Nov 1, 2021Updated 4 years ago
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆423Sep 18, 2021Updated 4 years ago