grimm-co / linuxklee
Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
☆19Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for linuxklee
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- ☆9Updated 5 years ago
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆22Updated 5 years ago
- Ditto.☆16Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆28Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Kernel Cache Decryption for iOS☆14Updated 3 years ago
- Toy binaries to play with -fsanitize=safe-stack/cfi☆9Updated 9 years ago
- ☆17Updated 2 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆18Updated 2 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- ☆14Updated last year
- keynote I gave at GreHack 2019☆18Updated 5 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- Working Set Page Cache side-channel IPC PoC☆66Updated 5 years ago
- Fast Binary Translator for the Kernel☆27Updated 11 years ago
- Regular expression Search on the command-line☆15Updated 7 months ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 4 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Updated 5 years ago
- Python based angr plug in for IDA Pro.☆34Updated 6 years ago
- Reverse engineering toolkit for exploit/malware analysis☆34Updated 4 years ago
- Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels☆18Updated 4 years ago
- Dynamic Control Flow Recovery☆24Updated 6 years ago
- A stateful fuzzing engine.☆46Updated 6 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year
- ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…☆11Updated 2 years ago