grimm-co / linuxkleeLinks
Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
☆20Updated 5 years ago
Alternatives and similar repositories for linuxklee
Users that are interested in linuxklee are comparing it to the libraries listed below
Sorting:
- ☆14Updated 2 years ago
- ☆19Updated 3 years ago
- Ditto.☆18Updated 5 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 6 years ago
- gopclntab finder and analyzer for Radare2☆21Updated 5 years ago
- A monitoring script for AFL☆40Updated 8 years ago
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆23Updated 6 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 6 years ago
- A stateful fuzzing engine.☆45Updated 7 years ago
- An AFL scaling benchmarking tool☆18Updated 5 years ago
- Explanation and code to emulate and run a MIPS binary using Qiling framework. Also a detailed vulnerability writeup for a buffer overflow…☆36Updated 5 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- crashmon - A LLDB Based replacement for CrashWrangler☆46Updated 2 years ago
- Working Set Page Cache side-channel IPC PoC☆68Updated 6 years ago
- winAFL patch to enable network-based apps fuzzing☆37Updated 7 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- Seed Corpus for clamav-devel oss-fuzz integration.☆32Updated 6 years ago
- ☆13Updated 5 years ago
- Will try to put here slides from now on when I give a talk☆24Updated 4 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 3 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆37Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 3 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 5 years ago
- Signedness-Agnostic Strided-Interval☆38Updated 6 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38Updated 5 years ago
- Tools for Linux kernel debugging on Bochs (including symbols, native Bochs debugger and IDA PRO)☆32Updated 2 years ago
- Writeups of CTF challenges I do☆13Updated 6 years ago
- Browser exploitation v8 and sandbox escape challenges with solutions.☆28Updated 3 years ago
- ☆37Updated 6 years ago