svv232 / Kleenex
C++ wrapper around KLEE and AFL for intelligent, coverage guided fuzzing. Developed while doing research at MWR Infosecurity
☆18Updated 6 years ago
Alternatives and similar repositories for Kleenex:
Users that are interested in Kleenex are comparing it to the libraries listed below
- A stateful fuzzing engine.☆46Updated 6 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Flounder is an old corpus collector I wrote, but it still works. Just need a Bing API key☆17Updated 5 years ago
- Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap☆22Updated 7 years ago
- python and honggfuzz☆25Updated 4 years ago
- Slides from my talk at the Gulasch Programming Night 18 about developing Binary Ninja plugins. Recording at: https://www.youtube.com/watc…☆9Updated 6 years ago
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆50Updated 6 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Version of Binnavi used for the thesis "Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free"☆10Updated 6 years ago
- A monitoring script for AFL☆39Updated 7 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆13Updated 4 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- The Binary Mutation code based on Uroboros☆14Updated 5 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 5 years ago
- vasilisk☆19Updated 5 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- ☆18Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- Recent Fuzzing Paper☆35Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- ☆30Updated 6 years ago
- Writeups of CTF challenges I do☆13Updated 5 years ago
- Backwards program slice stitching for automatic CTF problem solving.☆51Updated 5 years ago
- Source code for building an exploitable linux kernel challenge iso.☆44Updated 11 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆18Updated 3 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 4 years ago