angr / binariesLinks
A repository with binaries for angr tests and examples.
☆63Updated this week
Alternatives and similar repositories for binaries
Users that are interested in binaries are comparing it to the libraries listed below
Sorting:
- ☆41Updated 8 years ago
- Security Evaluation of Dynamic Binary Instrumentation Engines☆82Updated 7 years ago
- A framework for static analysis of ROP exploits and programs☆41Updated 6 years ago
- Utilities for generating dynamic traces☆94Updated 10 months ago
- IDA plugin for software complexity metrics assessment☆60Updated 8 years ago
- AntiFuzz: Impeding Fuzzing Audits of Binary Executables☆104Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆61Updated 5 years ago
- DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.☆95Updated 7 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆32Updated 7 years ago
- Futile attempt to solve the Tigress challenges using angr☆23Updated 6 years ago
- K-Hunt: Pinpointing Insecure Crypto Keys☆44Updated 7 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 8 years ago
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆127Updated last year
- TEMU: The BitBlaze Dynamic Analysis Component (with some patches).☆64Updated 11 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 5 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆58Updated 7 years ago
- Some glue facilitating remote use of IDA (the Interactive DisAssembler) Python API.☆77Updated 5 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Updated 10 years ago
- A fork of AFL for fuzzing Windows binaries☆53Updated 7 years ago
- integration with IDA☆94Updated 4 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 11 years ago
- A patched version of VEX to work with PyVEX.☆113Updated last week
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆48Updated 8 years ago
- A set of helpers and examples to fuzz Win32 binaries with AFL++ QEMU☆70Updated 5 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- BPF Processor for IDA Python☆53Updated 7 years ago
- Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'☆103Updated 6 years ago
- A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!☆46Updated 3 years ago
- just an experiment☆22Updated 7 years ago
- Some helper scripts to set up an environment for angr development.☆123Updated this week