gast04 / r4geLinks
Symbolic Execution Tool in r2
☆106Updated 3 years ago
Alternatives and similar repositories for r4ge
Users that are interested in r4ge are comparing it to the libraries listed below
Sorting:
- Small tool for generating ropchains using unicorn and z3☆198Updated 7 years ago
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆51Updated 7 years ago
- A program to draw rectangles from heap traces.☆135Updated 5 years ago
- Attacking the Core associated source files☆88Updated 7 years ago
- r2con 2017 September 6-9☆97Updated 7 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆248Updated 6 years ago
- A pip wrapper around AFL.☆86Updated 4 years ago
- Unravels any libcs magic for your ret2libc exploit.☆81Updated 2 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 6 years ago
- ☆49Updated 7 years ago
- Automatic Vulnerability Discovery☆38Updated 6 years ago
- ☆124Updated 4 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆89Updated 2 years ago
- ☆50Updated 4 years ago
- IDA cLEMENCy Tools☆63Updated 8 years ago
- Old mitigation-bounty code that was applicable to edge before it use webkit/chrome☆87Updated 8 years ago
- Exploitation on ARM-based Systems (Troopers18)☆150Updated 7 years ago
- IDAtropy is a plugin for Hex-Ray's IDA Pro designed to generate charts of entropy and histograms using the power of idapython and matplot…☆142Updated 4 years ago
- An IDA Pro Plugin for embedding an IPython Kernel☆64Updated 5 years ago
- SymGDB - symbolic execution plugin for gdb☆217Updated 7 years ago
- Materials for the Evolutionary Kernel Fuzzing talk at Black Hat USA 2017☆69Updated 8 years ago
- Exploitation techniques to bypass Clang CFI when applied to Chromium☆113Updated 7 years ago
- grap: define and match graph patterns within binaries☆172Updated 4 years ago
- Library for creating CTF services.☆74Updated 8 years ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆76Updated 5 years ago
- Graphical ROP chain builder using radare2 and r2pipe☆51Updated 7 years ago
- radare2 + miasm2 = ♥☆102Updated 5 years ago
- Automated fuzzing framework☆120Updated 2 years ago
- A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.☆58Updated 6 years ago
- An extendable, tabbed, dockable UI widget plugin for BinaryNinja https://binary.ninja.☆37Updated 9 years ago