degrigis / awesome-angr
A collection of resources/tools and analyses for the angr binary analysis framework.
☆172Updated 2 years ago
Alternatives and similar repositories for awesome-angr:
Users that are interested in awesome-angr are comparing it to the libraries listed below
- ☆223Updated last year
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆163Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated 2 months ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆192Updated this week
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- ☆140Updated 3 months ago
- Run IDA scripts headlessly.☆135Updated 2 months ago
- An awesome & curated list of binary rewriting papers☆228Updated 2 years ago
- ☆58Updated 3 months ago
- Generates `.pyi` type stubs for the entire Ghidra API☆151Updated 2 weeks ago
- UAFuzz: Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities☆342Updated last year
- AFL bindings for Unicorn-Engine☆71Updated last month
- A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols☆82Updated 2 years ago
- ☆87Updated 4 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆83Updated last month
- A de-socketing library for fuzzing.☆140Updated last week
- USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types☆197Updated 3 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆341Updated 3 months ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆103Updated 2 months ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆245Updated 2 years ago
- PASTIS: Collaborative Fuzzing Framework☆159Updated 6 months ago
- Some helper scripts to set up an environment for angr development.☆118Updated 4 months ago
- Binary Code Similarity Analysis (BCSA) Benchmark☆146Updated last year
- Companion repository to the Fuzzing101 with LibAFL series of blog posts.☆144Updated last week
- angr's exploration technique to perform taint analysis☆55Updated 4 years ago
- Repository for monolithic firmware blobs☆72Updated 2 years ago
- Material and examples for a presentation on static binary analysis.☆41Updated 3 years ago
- A data-flow-guided fuzzer☆115Updated last year
- Symbolic Execution Over Processor Traces☆119Updated 6 months ago
- Recent security papers on firmware analysis☆76Updated 3 years ago