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
- This repository contains the currently implemented angr concrete targets.☆33Updated last year
- Repo for various angr ipython features to give it more of a cli feeling☆55Updated last month
- AFL++ as a library: gives you all the tools necessary to craft the best fuzzer for your targets with ease!☆112Updated 3 years ago
- Flex 'em lexers☆39Updated 4 years ago
- tool for multi-execution jump coverage introspection☆63Updated last month
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆92Updated last year
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆137Updated 3 years ago
- Recent Fuzzing Paper☆35Updated last year
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆129Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- ☆129Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆96Updated 5 years ago
- The new phuzzing framework!☆155Updated 8 months ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 2 months ago
- ☆63Updated 5 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Utilities for generating dynamic traces☆90Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆114Updated 2 months ago
- ☆43Updated 2 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆192Updated this week
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- ☆83Updated 5 months ago
- A collection of extensions to angr to handle new platforms☆67Updated last month
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago
- DynamoRIO coverage visualization for cutter☆61Updated 2 years ago
- Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86) adapted to afl++☆44Updated 3 years ago
- realtime cross-tool collaborative reverse engineering☆99Updated 2 years ago
- A GUI fuzzing application set up to fuzz calc.exe right now☆36Updated 4 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago