angr / binaries
A repository with binaries for angr tests and examples.
☆58Updated this week
Alternatives and similar repositories for binaries:
Users that are interested in binaries are comparing it to the libraries listed below
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆99Updated 5 years ago
- Kernel driver to fuzz Hyper-V hypercalls☆136Updated 5 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- A fork of AFL for fuzzing Windows binaries☆53Updated 6 years ago
- ☆47Updated 4 years ago
- Futile attempt to solve the Tigress challenges using angr☆22Updated 5 years ago
- Utilities for generating dynamic traces☆89Updated 2 years ago
- Automatically exported from code.google.com/p/kemufuzzer☆27Updated 9 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- ☆52Updated 5 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- ☆96Updated 5 years ago
- Some glue facilitating remote use of IDA (the Interactive DisAssembler) Python API.☆78Updated 4 years ago
- IDA plugin for software complexity metrics assessment☆59Updated 7 years ago
- ☆44Updated 7 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Some helper scripts to set up an environment for angr development.☆117Updated 3 months ago
- Corpus set used by DIE☆39Updated 4 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Updated 6 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆78Updated 6 years ago
- run AFL with dynamorio☆36Updated 4 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆101Updated 3 years ago
- Use Intel Pin tools to analysis binary.☆36Updated 9 years ago
- ☆67Updated 5 years ago
- ☆44Updated 4 years ago
- Material and examples for a presentation on static binary analysis.☆40Updated 3 years ago
- ☆16Updated 6 years ago
- Rode0day API Client☆18Updated 6 years ago