revng / qemu
Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
☆16Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for qemu
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆45Updated 4 years ago
- A blanked execution framework based on the Unicorn engine☆18Updated 7 years ago
- Tutorial to write qemu plugins☆31Updated 7 years ago
- trustonic tbase research☆31Updated 6 years ago
- ☆19Updated 6 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆26Updated last year
- AIL: The angr Intermediate Language.☆31Updated this week
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- ☆30Updated 4 years ago
- a taint tracer based on DynamoRIO, currently ARM only☆40Updated 4 years ago
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆20Updated 3 months ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆13Updated 4 months ago
- Tool to extract the kallsyms (System.map) from a memory dump☆24Updated last year
- Ditto.☆16Updated 4 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 5 years ago
- Binary Translator to LLVM IR☆47Updated 6 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆18Updated 2 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 4 years ago
- BigMap integration on AFL++☆15Updated 3 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆28Updated 3 years ago
- BPF Processor for IDA Python☆50Updated 6 years ago
- Automated recovery of Linux kernel build configurations☆24Updated 2 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated last week
- Binary Ninja plugin for importing symbols to a kernel binary from /proc/kallsyms☆19Updated 2 years ago
- ☆31Updated 4 years ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 2 years ago
- Adaptive Callsite-sensitive Control Flow Integrity - EuroS&P'19☆21Updated last year