A collection of resources/tools and analyses for the angr binary analysis framework.
☆190Jul 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
- angr's exploration technique to perform taint analysis☆62Mar 26, 2020Updated 6 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆47Sep 2, 2023Updated 3 years ago
- angr源码分析☆34Jan 6, 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆301Mar 15, 2019Updated 7 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
- ☆33Apr 7, 2022Updated 4 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆225Updated this week
- A cross platform framework to recover driver's communication interface.☆11Mar 26, 2021Updated 5 years ago
- fuzzing + concolic = fuzzolic :)☆131Nov 6, 2025Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆380May 5, 2025Updated last year
- ☆17Sep 23, 2024Updated 2 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.
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆129Oct 19, 2026Updated 2 weeks ago
- Framework for Automating Fuzzable Target Discovery with Static Analysis.☆548Jun 11, 2026Updated 4 months ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆49Jan 6, 2017Updated 9 years ago
- ☆1,128Mar 14, 2024Updated 2 years ago
- NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)☆114Oct 21, 2021Updated 5 years ago
- A powerful and user-friendly binary analysis platform!☆9,320Updated this week
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 5 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 4 years ago
- ☆78Oct 25, 2024Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- The official angr GUI.☆1,202Updated this week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆238Mar 14, 2022Updated 4 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆85Mar 16, 2023Updated 3 years ago
- A prototype of Shared-keywords aware Taint Checking, a novel static analysis approach that tracks the data flow of the user input between…☆354Dec 12, 2024Updated last year
- Karonte is a static analysis tool to detect multi-binary vulnerabilities in embedded firmware☆434Sep 18, 2021Updated 5 years ago
- ☆20Nov 4, 2020Updated 6 years ago
- IRPT: The Art, Science, and Engineering of Windows driver fuzzing☆21Mar 26, 2021Updated 5 years ago
- Scripts for the Ghidra.☆313Nov 1, 2021Updated 5 years ago
- ☆18Apr 7, 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.
- Recent symbolic execution papers and tools.☆188May 16, 2025Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago
- A LLVM Sanitizer for Symbolic Tracing and Under-Constrained Execution☆243Updated this week
- BinAbsInspector: Vulnerability Scanner for Binaries☆1,684Jun 17, 2024Updated 2 years ago
- An awesome & curated list of binary code similarity papers☆622Sep 27, 2026Updated last month
- An Automated Heap Feng Shui Tool☆18Jun 27, 2022Updated 4 years ago
- Source code for the DEF CON 30 CTF Qualifiers.☆267May 27, 2024Updated 2 years ago