revng / qemu-upstream
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
☆14Updated last week
Alternatives and similar repositories for qemu-upstream:
Users that are interested in qemu-upstream are comparing it to the libraries listed below
- QEMU with support for QDSP6 user mode emulation☆32Updated 5 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 2 months ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- A code skeleton of Samsung's Shannon S5000 baseband modem.☆43Updated 5 years ago
- Rust bindings for googleprojectzero/TinyInst☆16Updated last year
- trustonic tbase research☆31Updated 7 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- A deterministic, fuzzable pthread implementation☆36Updated last year
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆81Updated last week
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- ☆16Updated 5 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- ☆31Updated 3 years ago
- Automated recovery of Linux kernel build configurations☆24Updated 3 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 9 months ago
- ARMv7 architecture plugin☆40Updated 11 months ago
- ☆30Updated 4 years ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- ☆18Updated 3 years ago
- ☆46Updated 3 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆58Updated 4 years ago
- ☆53Updated 5 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆20Updated this week
- DARPA Cyber Grand Challenge OS syscall library☆18Updated 8 years ago