gast04 / r4geLinks
Symbolic Execution Tool in r2
☆105Updated 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!☆53Updated 7 years ago
- Unravels any libcs magic for your ret2libc exploit.☆81Updated 2 years ago
- AFL + DynamoRIO = fuzzing binaries with no source code on Linux☆248Updated 5 years ago
- Exploitation on ARM-based Systems (Troopers18)☆148Updated 7 years ago
- Attacking the Core associated source files☆89Updated 7 years ago
- A pip wrapper around AFL.☆86Updated 4 years ago
- grap: define and match graph patterns within binaries☆171Updated 4 years ago
- Automatic Vulnerability Discovery☆38Updated 6 years ago
- ARM shellcode and exploit development - BSidesMunich 2018☆106Updated 7 years ago
- r2con 2017 September 6-9☆97Updated 7 years ago
- ☆49Updated 4 years ago
- ☆49Updated 7 years ago
- WinHeap Explorer repository.☆119Updated 6 years ago
- A program to draw rectangles from heap traces.☆135Updated 5 years ago
- A pip wrapper around our ridiculous amount of qemu forks.☆49Updated last year
- An IDA Pro Plugin for embedding an IPython Kernel☆64Updated 5 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 6 years ago
- Materials for the Evolutionary Kernel Fuzzing talk at Black Hat USA 2017☆69Updated 7 years ago
- ☆124Updated 4 years ago
- ☆91Updated 5 years ago
- Scripts for Binary Ninja☆257Updated 2 years ago
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆187Updated 4 years ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆88Updated last year
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆77Updated 5 years ago
- Graphical ROP chain builder using radare2 and r2pipe☆51Updated 7 years ago
- Old mitigation-bounty code that was applicable to edge before it use webkit/chrome☆87Updated 8 years ago
- IDA cLEMENCy Tools☆62Updated 7 years ago
- ☆163Updated 8 years ago
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 8 years ago