bordig-f / angr-strategies
A cheat sheet that summarises "strategies" (or techniques) to use with angr.
☆31Updated 4 years ago
Alternatives and similar repositories for angr-strategies:
Users that are interested in angr-strategies are comparing it to the libraries listed below
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 9 months ago
- Target components for kAFL/Nyx Fuzzer☆27Updated last week
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated last year
- ☆28Updated last year
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆72Updated last week
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated last year
- ☆38Updated 4 years ago
- Blogpost about optimizing binary-only fuzzing with AFL++☆63Updated last year
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated last month
- Code snippets for Binary Ninja's Python API☆26Updated 3 years ago
- Resources accompanying the LibAFL workshop blog post☆16Updated 5 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆78Updated 2 years ago
- A library for patching ELFs☆53Updated 4 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated last year
- ☆36Updated 2 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated last month
- ☆13Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆57Updated 2 months ago
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆55Updated 10 months ago
- ☆34Updated 3 years ago
- AFL bindings for Unicorn-Engine☆74Updated 2 months ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Updated 3 years ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆30Updated 4 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- ☆24Updated 10 months ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- Custom Agent and Tooling for using Nyx with Firefox☆18Updated 7 months ago