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
- Automatic function exporting and linking for fuzzing cross-architecture binaries.☆51Updated 6 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Capture The Flag Binary fuzzer for Heap challanges☆41Updated 7 years ago
- A stateful fuzzing engine.☆45Updated 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
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- AFL "mostly" ported to cygwin☆26Updated 9 years ago
- This repository is for binaries that are currently being worked on to be solved by angr.☆11Updated 7 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 5 years ago
- Test case minimizer for afl-fuzz☆26Updated 7 years ago
- Simulate afl-fuzz☆16Updated 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
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 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
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- A fully automatic fuzzing tool for Valgrind, unofficial mirror for http://esec-lab.sogeti.com/pages/fuzzgrind.html☆36Updated 9 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆34Updated 7 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 7 years ago
- ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers☆15Updated 6 years ago
- Recent Fuzzing Paper☆35Updated last year
- American Fuzzy Lop + Dyninst == AFL Fuzzing blackbox binaries☆74Updated 3 years ago
- Use Ghidra Structs in Python☆29Updated 4 years ago
- INACTIVE - http://mzl.la/ghe-archive - A Python3 bridge for implementing custom libFuzzer mutators☆74Updated 5 years ago
- Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer☆48Updated 9 years ago
- vasilisk☆19Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Plugin for binary ninja to centralize features useful in static analysis.☆15Updated 5 years ago