B2R2-org / B2R2Links
B2R2 is a collection of useful algorithms, functions, and tools for binary analysis.
☆436Updated last week
Alternatives and similar repositories for B2R2
Users that are interested in B2R2 are comparing it to the libraries listed below
Sorting:
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Updated 3 years ago
- CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)☆239Updated 5 years ago
- Binary code coverage visualizer plugin for Ghidra☆295Updated last year
- Ghidra Program Analysis Library☆341Updated 2 years ago
- A sane API for IDA Pro's decompiler. Useful for malware RE and vulnerability research☆463Updated 2 years ago
- Intermediate Representation for Binary analysis and transformation☆342Updated last month
- afl-unicorn lets you fuzz any piece of binary that can be emulated by Unicorn Engine.☆609Updated 2 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆217Updated 2 months ago
- Code and exercises for a workshop on z3 and angr☆230Updated 4 years ago
- A comprehensive binary emulation and instrumentation platform.☆416Updated 2 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆724Updated 4 months ago
- Python bindings for Valgrind's VEX IR.☆364Updated this week
- CLE Loads Everything (at least, many binary formats!)☆459Updated last week
- AFL binary instrumentation☆299Updated 7 months ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, ca…☆297Updated last week
- LAVA: Large-scale Automated Vulnerability Addition☆406Updated 2 months ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆199Updated 5 years ago
- Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.☆261Updated 2 weeks ago
- Use angr in the IDA Pro debugger generating a state from the current debug session☆280Updated 5 years ago
- An abstraction layer for constraint solvers.☆317Updated last week
- BINSEC binary-level open-source platform☆367Updated last month
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 2 years ago
- PEDA-like debugger UI for WinDbg☆207Updated last year
- Daenerys: A framework for interoperability between IDA and Ghidra☆303Updated 6 years ago
- A static binary rewriter that does not use heuristics☆306Updated 7 years ago
- ROPium is a tool that helps you building ROP exploits by finding and chaining gadgets together☆386Updated 2 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆223Updated 3 weeks ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆425Updated 2 months ago
- INFILTRATE 2019 Demo Materials☆339Updated 2 years ago
- ☆390Updated 3 years ago