angr / archr
Target-centric program analysis.
☆73Updated this week
Alternatives and similar repositories for archr:
Users that are interested in archr are comparing it to the libraries listed below
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆112Updated 3 years ago
- Repo for various angr ipython features to give it more of a cli feeling☆56Updated last month
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆89Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆136Updated 3 years ago
- This repository contains the currently implemented angr concrete targets.☆33Updated last year
- ☆63Updated 5 years ago
- tool for multi-execution jump coverage introspection☆63Updated 2 weeks ago
- Flex 'em lexers☆39Updated 4 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- Utilities for generating dynamic traces☆90Updated 2 years ago
- ☆129Updated 5 years ago
- The new phuzzing framework!☆155Updated 8 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated last month
- About as basic of a mutator as you can get, but it does the trick in most situations☆61Updated 4 years ago
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆127Updated 2 years ago
- ☆43Updated 2 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆213Updated 4 months ago
- Nampa - FLIRT for (binary) ninjas☆94Updated last month
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆101Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- Source code of HAL-fuzz☆143Updated 4 years ago
- ☆96Updated 5 years ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆198Updated 4 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- A collection of extensions to angr to handle new platforms☆67Updated 2 weeks ago
- Build your emulation environment as needed☆65Updated 3 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago