revng / qemu
Customized version of QEMU 2.4.0 exposing the TCG frontend and the helpers
☆16Updated 8 months ago
Alternatives and similar repositories for qemu:
Users that are interested in qemu are comparing it to the libraries listed below
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆30Updated 4 years ago
- trustonic tbase research☆31Updated 7 years ago
- AIL: The angr Intermediate Language.☆32Updated this week
- Scalable Validator for Binary Lifters☆56Updated 4 years ago
- Control-Flow Integrity implementation for the Linux Kernel 3.19☆20Updated 5 years ago
- A blanked execution framework based on the Unicorn engine☆19Updated 8 years ago
- ☆32Updated 3 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 2 months ago
- ☆31Updated 4 years ago
- Binary Translator to LLVM IR☆48Updated 7 years ago
- Tutorial to write qemu plugins☆32Updated 7 years ago
- QEMU with support for QDSP6 user mode emulation☆32Updated 5 years ago
- ☆16Updated 6 years ago
- ☆50Updated last year
- x86 Dynamic Binary Translator Library☆34Updated 4 years ago
- llvm crash analysis☆43Updated 9 months ago
- a taint tracer based on DynamoRIO, currently ARM only☆41Updated 5 years ago
- ☆25Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Tiny Code Generator Library☆46Updated 4 years ago
- A PCode Emulator for Ghidra.☆108Updated 4 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆26Updated last year
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.☆19Updated 2 years ago
- Linux assembly language minimal 'dynamic ELF' example plus experiments☆25Updated 4 years ago
- Tensilica Xtensa Architecture Plugin and ESP8266 Firmware Loader for Binary Ninja☆15Updated 2 years ago
- Linux kernels (CGC DECREE and vanilla) with S2E extensions☆24Updated 9 months ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- AFL bindings for Unicorn-Engine☆76Updated 3 weeks ago