Target-centric program analysis.
☆76Feb 9, 2026Updated 3 weeks ago
Alternatives and similar repositories for archr
Users that are interested in archr are comparing it to the libraries listed below
Sorting:
- AIL: The angr Intermediate Language.☆33May 28, 2025Updated 9 months ago
- This repository contains the currently implemented angr concrete targets.☆34Sep 1, 2023Updated 2 years ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- The new phuzzing framework!☆164Jun 14, 2024Updated last year
- A fuzzy parser for C/C++ that creates semantic code property graphs☆37Oct 15, 2020Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- r2 plugin for Dwarf☆29Dec 29, 2019Updated 6 years ago
- Intermediate Representation for Binary analysis and transformation☆349Jan 14, 2026Updated last month
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆37Feb 6, 2021Updated 5 years ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆203Jul 22, 2020Updated 5 years ago
- QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing☆655Nov 23, 2022Updated 3 years ago
- A tool for finding the one gadget RCE in libc☆76May 30, 2020Updated 5 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆12Aug 20, 2024Updated last year
- Benchmark apps for static analyzing native world of Android applications.☆13Nov 15, 2018Updated 7 years ago
- Python bindings for Shimple/Jimple IR from Soot.☆43Updated this week
- Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.☆655Jan 12, 2026Updated last month
- SymCC: efficient compiler-based symbolic execution☆856May 12, 2025Updated 9 months ago
- Assorted pintools☆30Mar 30, 2020Updated 5 years ago
- A patched version of VEX to work with PyVEX.☆113Feb 1, 2026Updated last month
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Apr 21, 2024Updated last year
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Mar 2, 2021Updated 5 years ago
- Ditto.☆18Jul 23, 2020Updated 5 years ago
- auto-ropper☆17Jul 7, 2022Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 2 years ago
- System tracer implementation in Rust☆32Dec 8, 2016Updated 9 years ago
- CFG and scripts for fuzzing the PHP interpreter with Domato☆28Jan 4, 2020Updated 6 years ago
- An abstraction layer for constraint solvers.☆327Feb 24, 2026Updated last week
- ☆17Sep 23, 2024Updated last year
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 5 years ago
- ☆16Dec 22, 2019Updated 6 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆156Oct 4, 2021Updated 4 years ago
- A cheat sheet that summarises "strategies" (or techniques) to use with angr.☆32Jan 24, 2021Updated 5 years ago
- Underconstrained symbolic execution for cryptography verification☆19Mar 26, 2021Updated 4 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆25Nov 21, 2024Updated last year
- ☆809Feb 5, 2026Updated 3 weeks ago
- The fastest Intel-PT decoder for fuzzing☆378Feb 2, 2024Updated 2 years ago
- Patches to afl to fix bugs or add enhancements☆81Sep 10, 2019Updated 6 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆58Jan 15, 2025Updated last year