atos-tools / qemu-plugins-tutorial
Tutorial to write qemu plugins
☆31Updated 7 years ago
Alternatives and similar repositories for qemu-plugins-tutorial:
Users that are interested in qemu-plugins-tutorial are comparing it to the libraries listed below
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆82Updated last month
- ☆53Updated 5 years ago
- ☆45Updated 3 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Scalable Validator for Binary Lifters☆55Updated 4 years ago
- ☆42Updated 2 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆124Updated 4 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated 2 years ago
- kAFL Fuzzer☆33Updated 3 weeks ago
- ☆96Updated 6 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.☆59Updated 6 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆66Updated 3 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆70Updated last year
- ☆16Updated 7 years ago
- The parser-directed Fuzzer☆38Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- ☆37Updated 2 years ago
- ☆38Updated 4 years ago
- ☆24Updated 11 months ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- Get actually nice HTML coverage overview on libfuzzer runs☆29Updated last year
- Repository for understanding and writing LLVM passes.☆31Updated 5 years ago
- experiments for IJON☆12Updated 5 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆24Updated 4 years ago