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
- A stateful fuzzing engine.☆46Updated 6 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
- A monitoring script for AFL☆39Updated 8 years ago
- Proof of Concept files for SensePost's blog - Painless intro to the linux userland heap☆22Updated 7 years ago
- winAFL patch to enable network-based apps fuzzing☆37Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Plugin for binary ninja to centralize features useful in static analysis.☆15Updated 5 years ago
- collection of used Tools for CTFs☆15Updated 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
- Simulate afl-fuzz☆16Updated 5 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago
- Fuzzing scripts for the American Fuzzy Lop (AFL) fuzzer☆47Updated 8 years ago
- A fuzzer for HTML5 canvas operations.☆10Updated 7 years ago
- Use ltrace with pwnlib.tubes.process instances, useful for heap exploitation. Pwntools rocks!☆52Updated 6 years ago
- Binary Ninja plugin that syncs WinDbg to Binary Ninja☆47Updated 6 years ago
- Use angr inside the radare2 debugger. Create an angr state from the current debugger state.☆34Updated 5 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago
- AFL "mostly" ported to cygwin☆26Updated 8 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Bootloader research tools (very much a work in progress)☆37Updated 5 years ago
- Simple reporting plugin for binary ninja☆16Updated 6 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 3 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 6 years ago
- python and honggfuzz☆25Updated 4 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 4 years ago
- The collection of programs for evaluating fuzzing techniques☆20Updated 7 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 5 years ago