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
- Target components for kAFL/Nyx Fuzzer☆27Updated last week
- Code snippets for Binary Ninja's Python API☆26Updated 3 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 10 months ago
- ☆24Updated 11 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆78Updated 2 years ago
- OSS-Fuzz Public Corpora Crawler☆22Updated 2 years ago
- ☆20Updated 6 months ago
- A patched QEMU that exposes an interface for LibAFL-based fuzzers☆72Updated this week
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated 2 months ago
- ☆28Updated last year
- ☆38Updated 4 years ago
- kAFL Fuzzer☆33Updated last week
- ☆13Updated 3 years ago
- Old and new CTFs about Linux kernel exploitation.☆53Updated 2 years ago
- ☆37Updated 2 years ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆24Updated 2 years ago
- RetSpill: Igniting User-Controlled Data to Burn Away Linux Kernel Protections☆55Updated 11 months ago
- Custom Agent and Tooling for using Nyx with Firefox☆18Updated 7 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated last year
- Resources accompanying the LibAFL workshop blog post☆16Updated 5 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated last year
- Grammar-based fuzzing corpus generator☆39Updated 2 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆15Updated 3 years ago
- Collections of patterns for weggli to find nice bugs☆18Updated last year
- ☆42Updated 2 years ago
- Linux Kernel Snapshot Fuzzer using KVM☆46Updated last year
- 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
- A tool combining DWARF info and source to search for kernel heap objects☆22Updated last year